A proof-of-concept async pipeline framework in Delphi to demonstrate modern AI orchestration with Promises, streaming, and chained execution. Designed by a math researcher to demonstrate that modern, elegant AI architectures can emerge from non-mainstream tools.

QED is a math analyzing tool which uses OCR to analyze handwritten math proofs and verify their validity using AI.

Axiom-I: A zero-shot, hardware-agnostic forensic framework for detecting AI-generated media. It abandons heavy deep learning for Pure Math & Physics (Topology, 3D Illumination, Sub-pixel Vibrations). Hyper-optimized for local CPUs, it provides future-proof, real-time deepfake detection without cloud GPUs.

A proof-of-concept AI-powered math tutoring system using the Wolfram Alpha API to generate and assess Linear Algebra problems.

Proof of Concept about AI could be add inside normal Calculator Apps and Math solving apps. However we also must understand it's limitation about AI predicts. That's why it's important to understand about Wolframalpha like mathematical System(Kernel System based on Math)

Scenery transforms educational ideas into stunning animated videos through simple conversation. The first AI that thinks like an animator, understanding your concepts and generating programmatic animations you can edit and refine. From math proofs to science processes, create engaging content that makes learning stick.

Prototype for AI-assisted math proof using correlation sheets (weighted knowledge graph), state machine for proof progress, and thicker arrows (stronger correlations) to guide reasoning. Scouting only — open to passive equity/partnership if someone wants to build on it.

Math output verifier based upon an ML model ( Made during a Hackathon )

No description available

No description available

Create an AI assistant to help math proof.

The Capabilities and Limitations of AI in Mathematical Proof Generation

Deterministic math formulas and entropy-based logic for AI, proofs, and real-world modeling.

Math peer learning platform for high school girls — AI-assisted explanations, peer validation, on-chain proof

Math peer learning platform for high school girls — AI-assisted explanations, peer validation, on-chain proof

Stand-alone proof-of-concept optimizer that uses AI techniques to produce optimal sequences of instructions to compute vector math utilizing SIMD instructions.

AutoFormal+ is an AI-assisted system that converts natural language math into Lean 4 proofs, automatically verifies them, and explains results. It combines an LLM pipeline, FastAPI backend, and React UI to create an interactive formal reasoning workspace with diagnostics and proof visualization.

Developed an AI-powered research assistant that automates the scientific research process from literature review to paper writing. The system gathers domain knowledge, generates testable hypotheses, simulates experiments (drug discovery and math proofs), analyzes results, and drafts research papers.