Email | Google Scholar

Older updates

Jul 2026Ebonye Smith's paper on in-context control was accepted to the IEEE Conference on Decision and Control (CDC 2026) in Honolulu.
Jul 2026Arnav Mehta presented work on faithful autoformalization at the ICML 2026 AI for Math Workshop in Seoul.
May 2026Arnav Mehta completed his M.S. with the thesis Faithful Auto-formalization for Education.
May 2026Kanav Mittal completed his M.S. with the thesis Alignment Challenges in Educational AI.
Apr 2026Sultan Daniels presented Pretraining with Masked Backstories in a Toy World at the ICLR 2026 Workshop on Scientific Methods for Understanding Deep Learning (Sci4DL) in Rio de Janeiro.
Mar 2026Nora Guo presented Bridging the Gap to Autoformalize Free-Form Human Reasoning at PLATEAU 2026 at Carnegie Mellon University.
Jan 2026Manooshree Patel presented the first LeanTutor paper, LeanTutor: Towards a Verified AI Mathematical Proof Tutor, at EAAI-26 (with AAAI-26) in Singapore.
Spring 2026LeanTutor was deployed in EECS 127/227A at UC Berkeley, giving students verified feedback on their proofs.
Sep 2025LeanTutor received an AI for Math Fund grant from Renaissance Philanthropy and XTX Markets.