I build AI systems that hold up under verification.
Aditi Singla. AI/ML engineer at IIIT-Delhi, Integrated B.Tech + M.Tech, CGPA 9.29/10. I build RAG pipelines, LLM agents with formal verification, and full-stack products, and I put the receipts in public repositories you can run.
Six things worth your time
IneqMath Proof Agent
LLM agent that generates mathematical inequality proofs and verifies them with Lean 4, optimized with GEPA prompt evolution.
Paper2Beamer Agent
Autonomous agent that turns LaTeX research papers into polished Beamer presentations, controlled by natural language.
NeuroSync
Facial + vocal emotion-fusion network detecting stress and engagement in real time, with chat and VR interaction modalities.
NeuroChat
FastAPI retrieval-augmented generation service: document chunking, FAISS indexing, grounded generation with OpenAI or a free TinyLlama fallback.
CGAL GitHub Crawler
Rate-limited GitHub crawler + Flask dashboard that discovers and analyzes real-world CGAL (computational geometry) usage patterns at scale.
Graduation Checklist Portal
Academic portal that automates graduation eligibility: CGPA recalculation, degree/honors/minors rules, unit-tested, used by the academic team.
Have something worth building?
I am looking for teams where the work is real, the code gets reviewed, and the systems get used. Tell me about yours.