PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations. - Jimmy Xin; Linus Zheng; Jiayi Wei; Kia Rahmani; Jarrett Holtz; Isil Dillig; Joydeep Biswas (CoRR, 2023)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. - George Tsoukalas; Jasper Lee; John Jennings; Jimmy Xin; Michelle Ding; Michael Jennings; Amitayush Thakur; Swarat Chaudhuri (NeurIPS, 2024)

Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations. - Jimmy Xin; Linus Zheng; Kia Rahmani; Jiayi Wei; Jarrett Holtz; Isil Dillig; Joydeep Biswas (IEEE Robotics Autom. Lett., 2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving. - Yutong Xin; Jimmy Xin; Gabriel Poesia; Noah D. Goodman; Qiaochu Chen; Isil Dillig (CoRR, 2025)