Jasper Lee
- PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
2024/07/15 by George Tsoukalas, Jasper Lee, Tsoukalas, George +14 · 2 voices · 41 citations
Computer Science · Physics and Astronomy · #Model Reduction and Neural Networks #Neural Networks and Applications #cs.AI #cs.CL #cs.LG #cs.LO #cs.PL
- CLEVER: A Curated Benchmark for Formally Verified Code Generation
2025/05/20 by Amitayush Thakur, Thakur, Amitayush, Jasper Lee +14 · 10 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques