Login / Signup
George Tsoukalas
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Proof Planning
First Order Logic
Theorem Prover
Timed Automata
Top Venues
CoRR
</>
Publications
</>
George Tsoukalas
,
Jasper Lee
,
John Jennings
,
Jimmy Xin
,
Michelle Ding
,
Michael Jennings
,
Amitayush Thakur
,
Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
CoRR
(2024)