PI
Ayush Khaitan
Honors project on modifying Alpha geometry
Yiming Huang
John Paul Nguyen
Angela Xue
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
Vaiswi Patel