Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
George Tsoukalas
Observed name:
Tsoukalas, George
Institutions:
Google DeepMind (United Kingdom),
The University of Texas at Austin
Observed institutions:
Google DeepMind (United Kingdom),
The University of Texas at Austin
ORCID:
0000-0001-8938-2487
Observed ORCID:
0000-0001-8938-2487
OpenAlex ID:
A5114402843
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
2024
·
George Tsoukalas
, Jasper Lee
, et al.
·
neural information processing systems
·
6
PDF
Advancing mathematics research with AI-driven formal proof search
2026
·
George Tsoukalas
, Anton Kovsharov
, et al.
·
Science
·
4
PDF
CLEVER: A Curated Benchmark for Formally Verified Code Generation
2025
·
Amitayush Thakur
, Jasper Lee
, et al.
·
neural information processing systems
·
1
PDF
An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
2026
·
Surina, Anja
, Suggala, Arun
, et al.
·
arXiv (Cornell University)
PDF
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
2026
·
Letson, Austin
, Sarra, Leopoldo
, et al.
·
arXiv (Cornell University)
PDF
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
2026
·
Thakur, Amitayush
, Tsoukalas, George
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
2025
·
Thakur, Amitayush
, Tsoukalas, George
, et al.
·
arXiv (Cornell University)
PDF
Learning Interestingness in Automated Mathematical Theory Formation
2025
·
George Tsoukalas
, Rahul Saha
, et al.
·
neural information processing systems
Show more works
View as search
Works count:
8
Citation count:
11
H-index:
2
I10-index:
Year
Topic
Type
