Elamur Research⌕
☰
home / authors / Jimmy Xin

Jimmy Xin

Jimmy Xin has 2 papers in our library, in 2023–2024, most of them on Reasoning; often with Amitayush Thakur, George Tsoukalas, Swarat Chaudhuri.

2 papers in our library · 2023–2024

OpenAlex · ORCID · h-index 2 · 13 works · 10 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 130 times in our library · ⭐ Paper Stars ranking: #7623

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🔬Max Planck Institute for Software SystemsSaarbrücken · Germany2026 · 2 paperscurrent🎓The University of Texas at AustinAustin · United States2024–2025 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 3The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 works

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20241 paper20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition (2024 · 93 citations)
    Neural theorem-provers are usually tested on competition benchmarks such as MiniF2F and FIMO. These sets rely mostly on high-school mathematics, and some MiniF2F items can be solved directly by SMT solvers. They also cover only some proof assistants, and they risk overlap with LLM pretraining data. PutnamBench is a…
  2. An In-Context Learning Agent for Formal Theorem-Proving (2023 · 47 citations)
    Formal proof assistants such as Lean and Coq require proofs written as sequences of tactics. The strongest neural provers have so far been trained or finetuned on proof data from one specific system. This paper presents COPRA, an agent that instead relies only on in-context learning. A general-purpose black-box…

 Co-authors here

4 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 130 times (of the 149,439 papers whose bibliographies we read); 54 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/jimmy-xin/