George Tsoukalas

According to our database, George Tsoukalas authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

CLEVER: A Curated Benchmark for Formally Verified Code Generation.

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

CoRR, May, 2025

ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving.

Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri

CoRR, February, 2025

2024

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024