Lean4Agent: Multi-Agent AI System for Verifiable Writing and Proving Theorems in Formal Mathemtics
Published:
Lean4Agent is a collaborative AI system designed to tackle complex mathematical problems using multiple intelligent agents.
Posts by Collection
portfolio
NextQuestAI: Deep Research Multi-Agent System
Published:
NextQuestAI is a high-performance, multi-agent research orchestrator powered by LangGraph and NVIDIA NIM.
DDG — Advanced Discrete Differential Geometry Framework (Research-Grade)
Published:
A comprehensive, production-ready Discrete Exterior Calculus (DEC) / FEM implementation for triangle meshes with spectral geometry, curvature analysis, PDE solvers, and advanced vector field processing.
AutoResearch: Autonomous ML Research Framework
Published:
Autonomous machine learning research framework for AI agents
Vision Transformer(ViT) from Scratch - Solving Partial Differential Equations(PDE)
Mathematical Data Driven Methods for Modelling and Simulations of Science and Engineering Problems, mostly modeled as partial differential equation therefore how to solve them for performing simulation of the system. I have trained ViT model onto the Allen Cahn PDE to dataset and checked the model predicted solution for the unseen input dataset. results are close to exact solution.
Parallel and Distributed Computing
How to write and solve computation problem efficiently on different architectural devices having parallel and distributed computational frameworks
Super-Market Analysis and Prediction using Python and MySQL Database
Analyzing sales data from a supermarket MySQL database to uncover insights and predict customer behavior. It uses Python, , and machine learning techniques to preprocess data, perform exploratory analysis, and build predictive models for customer types.r 1
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. 
publications
A Study of Llama Model Lineage
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex
A Study of Llama Model Family Lineage
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
Paper Title Number 4
Published in GitHub Journal of Bugs, 2024
This paper is about fixing template issue #693.
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
Paper Title Number 5, with math \(E=mc^2\)
Published in GitHub Journal of Bugs, 2024
This paper is about a famous math equation, \(E=mc^2\)
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
Newton’s Method for Solving Nonlinear Systems of Equations
Published in Journal 1, 2025
This is the numerical methods for solving the nonlinear systems of equations rather that linear systems of equations.
Recommended citation: Ajeet Kumar, You. (2025). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.