Ajeet Kumar

Ajeet Kumar

Applied Mathematician with Specialization in Full Stack Machine Learning and Data Science

About

I am currently looking for Job, was a Research Intern and Project Assistant at the Cloud Computing Lab and HIPC Lab, IIT Delhi under Prof. Abhilash Jindal, where i had focused on building and evaluating LLM-based tools called Speculator and design multi-agentic systems Lean4Agent

Before joining IIT Delhi, I completed my M.Sc in Mathematics and Computing at Banaras Hindu University (BHU), Varanasi, where I worked at the DST-CIMS. My Master’s thesis was centered around Discrete Differential Geometry and its Applications, supervised by Prof. Bankteshwar Tiwari.

My academic journey began with a B.Sc (Hons) in Applied Mathematics from Jamia Millia Islamia, New Delhi. Along the way, I also pursued a Data Science Specialization through NPTEL (IIT Madras), strengthening my skills in Programming, Data Analytics, Machine Learning, and Large Language Models.


Research Experience

Jun 2025
Cloud Computing and HIPC Lab, IIT Delhi
Speculator - LLM System for OpenAPI Specification Generation from Source Code.
Lean4Agent - Multi-Agent System for Lean4 Code and Proof Generation from Mathematical Problems(Natural Language).
Jul 2024
QWorld Quantum Research
- Solving Wave PDE by HHL Quantum Algorithm(Qiskit)
- Implemented and Practiced Variational Quantum Algorithms like VQEs.
Feb 2024
Devtern
Machine Learning Intern developing end-to-end ML pipelines

Latest Posts

Sep 11, 2026
Ai Social Engineering
Jul 31, 2026
Lake: The Build System and Package Manager for Lean 4
May 18, 2026
Precision In Computation
Apr 30, 2026
Did OpenAI solve the Navier–Stokes Millennium Problem completely ?
Apr 27, 2026
How to Build a Build System in C

Latest Projects

The Disease Detection Web Application, developed in 2022, is a machine learning-powered platform designed to assist in the early detection of diseases.

Disease Detection Web Application

The Disease Detection Web Application, developed in 2022, is a machine learning-powered platform designed to assist in the early detection of diseases.


MATRIX Optimization Ladder

MATRIX - High-Performance Linear Algebra Kernels in C from Scratch


MATRIX Optimization Ladder


AnLLM Core Algorithms

AnLLM - LLM Inference Engine In MLX from Scratch


AnLLM Core Algorithms


Torchlight Core Architecture

Torchlight - Deep Learning Framework from Scratch


Torchlight Core Architecture


AGL: algebraic geometry meets polynomial neural networks

AGL - Algebraic Geometric Learning: Grobner Bases, Ideals and Orthogonal Polynomials Inside a Neural Network


AGL: algebraic geometry meets polynomial neural networks

Team updates and project details for ajeetkbhardwaj/Lean4Agent

ajeetkbhardwaj/Lean4Agent Project

Team updates and project details for ajeetkbhardwaj/Lean4Agent

Team updates and project details for ajeetkbhardwaj/NextQuestAI

ajeetkbhardwaj/NextQuestAI Project

Team updates and project details for ajeetkbhardwaj/NextQuestAI

Team updates and project details for ajeetkbhardwaj/discrete-differential-geometry

ajeetkbhardwaj/discrete-differential-geometry Project

Team updates and project details for ajeetkbhardwaj/discrete-differential-geometry

Publications

PUB
A Study of Llama Model Lineage
Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
PUB
A Study of Llama Model Family Lineage
Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
PUB
Paper Title Number 3
Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
PUB
Paper Title Number 4
Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
PUB
Paper Title Number 5, with math $$E=mc^2$$
Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
PUB
The Axiomatic Genome of Number Systems
Ajeet Kumar, You. (2025). "Paper Title Number 1." Journal 1. 1(1).