Jimmy Xin

Joined

January 2024

Names

Jimmy Xin (Preferred)

Emails

****@utexas.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Computer Science, University of Texas at Austin (utexas.edu)

2021 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

PutnamBench: A Multilingual Competition-Mathematics Benchmark for Formal Theorem-Proving
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
- ICML 2024 Workshop AI4MATH Oral
- Readers: Everyone
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 Track Datasets and Benchmarks Poster
- Readers: Everyone
An In-Context Learning Agent for Formal Theorem-Proving
Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin, Swarat Chaudhuri
- COLM
- Readers: Everyone

Co-Authors