--- title: "George Tsoukalas — author profile and papers · Reasoning" description: "George Tsoukalas, The University of Texas at Austin: 2 papers on Elamur Research (2023–2024), h-index 2 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/george-tsoukalas/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/george-tsoukalas/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / George Tsoukalas # George Tsoukalas George Tsoukalas has 2 papers in our library, in 2023–2024, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Amitayush Thakur](https://md.research.elamur.ai/free/en/authors/amitayush-thakur/), [Jimmy Xin](https://md.research.elamur.ai/free/en/authors/jimmy-xin/), [Swarat Chaudhuri](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/). 2 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5114402843) · [ORCID](https://orcid.org/0000-0001-8938-2487) · [**h-index 2**](https://openalex.org/authors/A5114402843) · [7 works](https://openalex.org/works?filter=author.id:A5114402843) · [9 citations](https://openalex.org/works?filter=author.id:A5114402843&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/#papers) · [🔗 Cited 130 times in our library](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/cited-by/) · [⭐ Paper Stars ranking: #7622](https://md.research.elamur.ai/free/en/paper-stars/page/77/#star-7622) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=George+Tsoukalas) · [Semantic Scholar](https://www.semanticscholar.org/search?q=George+Tsoukalas) · [dblp](https://dblp.org/search?q=George+Tsoukalas) · [ACL Anthology](https://aclanthology.org/search/?q=George+Tsoukalas) ## Affiliations [🎓**The University of Texas at Austin** Austin · United States 2025–2026 · 3 papers*current*](https://md.research.elamur.ai/free/en/universities/the-university-of-texas-at-austin/) 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 3 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/)** *(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](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/)** *(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. - [Amitayush Thakur](https://md.research.elamur.ai/free/en/authors/amitayush-thakur/) ×2 - [Jimmy Xin](https://md.research.elamur.ai/free/en/authors/jimmy-xin/) ×2 - [Swarat Chaudhuri](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/) ×2 - [Yeming Wen](https://md.research.elamur.ai/free/en/authors/yeming-wen/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) ## 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 →](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/cited-by/). Updated 3 November 2026