Adarsh Kumarappan
AI Research Engineer Intern Apple, Generative AI 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.
5 years of coding experience
3 years of employment as a software developer
California Institute of TechnologyHigh School Diploma, IB Diploma, 4.0/4.0, High School Diploma, IB Diploma, 4.0/4.0 at Skyline High SchoolStanford Summer Session
English, Spanish
Github Skills (67)
clustering10
principal-component-analysis10
gaussian-mixture-models10
kmeans10
gmm10
python-bindings10
convert9
pattern-recognition9
pdf9
crossword9
docx9
markdown8
python8
machine-learning8
theorem-proving8
Programming languages (6)
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.