Jimmy Xin

According to our database, Jimmy Xin authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving.

Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig

CoRR, March, 2025

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., June, 2024

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

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