Tsoukalas, George

4 publications

NeurIPS 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

NeurIPS 2025 Learning Interestingness in Automated Mathematical Theory Formation George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri

ICMLW 2024 PutnamBench: A Multilingual Competition-Mathematics Benchmark for Formal Theorem-Proving George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

NeurIPS 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