by George Tsoukalas Papers
2 papers found
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur, Jasper Lee, George Tsoukalas et al.
NeurIPS 2025posterarXiv:2505.13938
10
citations
Learning Interestingness in Automated Mathematical Theory Formation
George Tsoukalas, Rahul Saha, Amitayush Thakur et al.
NeurIPS 2025spotlight