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.
Portfolio
AI Systems
NextQuestAI: Deep Research Multi-Agent System
Published:
NextQuestAI is a high-performance, multi-agent research orchestrator powered by LangGraph and NVIDIA NIM.
AutoResearch: Autonomous ML Research Framework
Published:
Autonomous machine learning research framework for AI agents
Computational Geometry
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.
Mathematical Data Driven Methods
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
Parallel and Distributed Computing
How to write and solve computation problem efficiently on different architectural devices having parallel and distributed computational frameworks
Data Analysis
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
Computer Vision
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. 