Get started
Author

Jimmy Xin

Observed name: Xin, Jimmy
ORCID: 0009-0007-7293-6579
Observed ORCID: 0009-0007-7293-6579
OpenAlex ID: A5080261577
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
2024 · George Tsoukalas, Jasper Lee, et al. · neural information processing systems · 6
PDF
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations
2024 · Jimmy Xin, Linus Zheng, et al. · IEEE Robotics and Automation Letters · 3
PDF
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
2025 · Yutong Xin, Jimmy Xin, et al. · Proceedings of the ACM on Programming Languages · 1
PDF
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
2025 · Xin, Yutong, Xin, Jimmy, et al. · arXiv (Cornell University) · 1
PDF
Artifact of Amaryllis: Integrating Dynamic Allocation and Iris-Style Resources into a Distributional Probabilistic Logic
2026 · Lohse, Janine, Rohde, Tim, et al. · Zenodo (CERN European Organization for Nuclear Research)
AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
2026 · Xin, Jimmy, Schneidman, Alex, et al. · arXiv (Cornell University)
PDF
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026 · Lohse, Janine, Rohde, Tim, et al. · arXiv (Cornell University)
PDF
ABC implies that Ramanujan's tau function misses almost all primes
2026 · Angdinata, David Kurniadi, Chen, Evan, et al. · arXiv (Cornell University)
PDF
Almost all primes are partially regular
2026 · Chen, Evan, Cummins, Chris, et al. · arXiv (Cornell University)
PDF
Dead ends in square-free digit walks
2026 · Chen, Evan, Cummins, Chris, et al. · arXiv (Cornell University)
PDF
Fel's Conjecture on Syzygies of Numerical Semigroups
2026 · Chen, Evan, Cummins, Chris, et al. · arXiv (Cornell University)
PDF
Works count: 11
Citation count: 11
H-index: 2
I10-index:
Year
Topic
Type