PI
Ayush Khaitan
Funsearch Project
Siddharth Narayanan
Raghav Paratkar
Alejandro Pinto
Alpha Geometry Project
Michelle Han
Joonhyeok Jun
Sarthak Roongta
Alexander Virilli
Training LLMs on Mathematica Packages
Mehaer Chhabda
Sriram Ramamoorthy
Rohan Sharma