Adarsh Kumarappan
AI Research Engineer Intern NVIDIA, Applied AI Research Division
Pasadena, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAdarsh Kumarappan is an AI research engineer with five years of experience building high-impact ML and formal reasoning systems across academia and industry. He has led and published cutting-edge work in theorem proving and lifelong learning—co-first authoring an ICLR 2025 paper (LeanAgent) that proved 155 previously unproven theorems—and currently conducts hybrid LaTeX+LLM research at Stanford to extract 100K+ structured mathematical results from arXiv. A serial technical founder and research lead, he built a precision-oncology startup CTOing novel masked-tabular transformer models with strong pilot accuracy and multiple provisional patents. His roles at Caltech and as director of Caltech AI Alignment show a rare blend of large-scale experimentation, theoretical analysis, and community-building (including securing an Open Philanthropy grant and organizing top-tier speaker series). Now at Apple’s Generative AI division under NDA, he brings deep expertise in LLM-driven formal methods, distributed experimentation, and product-minded research execution.
6 years of coding experience
4 years of employment as a software developer
California Institute of TechnologyHigh School Diploma, IB Diploma, High School Diploma, IB Diploma at Skyline High SchoolClient-Side Internet Technologies using React, Bootstrap, Node.js, JavaScript, and MongoDB. Final project was to make a version of Google Maps for the Stanford campus., Client-Side Internet Technologies using React, Bootstrap, Node.js, JavaScript, and MongoDB. Final project was to make a version of Google Maps for the Stanford campus. at Stanford Summer Session
English, Spanish
Github Skills (53)
clustering10
convert9
python9
machine-learning9
pdf9
cpp9
theorem-proving8
html8
documents8
docx8
markdown8
xlsx8
llm7
llm-inference7
pdf-to-text7
Programming languages (5)
Github contributions (5)
Adarsh321123/LeanBot
Jun 2024 - Sep 2024
Contributions:308 pushes, 4 branches in 3 months
brucechanglongxu/practice_problems
Jul 2022 - Oct 2022
Practice Problems (CS234 and Red-Black Problems)
Contributions:103 reviews, 7 PRs, 49 pushes in 2 months
leetcodeproblemsdata-structuresred-blackcs234
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.