Lee, Jasper

10 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

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

NeurIPS 2023 A Spectral Algorithm for List-Decodable Covariance Estimation in Relative Frobenius Norm Ilias Diakonikolas, Daniel Kane, Jasper Lee, Ankit Pensia, Thanasis Pittas

NeurIPS 2023 Minimax-Optimal Location Estimation Shivam Gupta, Jasper Lee, Ecprice, Paul Valiant

NeurIPS 2023 Optimality in Mean Estimation: Beyond Worst-Case, Beyond Sub-Gaussian, and Beyond $1+\alpha$ Moments Trung Dang, Jasper Lee, Maoyuan 'Raymond' Song, Paul Valiant

NeurIPS 2023 Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints Xinyi Hu, Jasper Lee, Jimmy Lee

NeurIPS 2022 Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize Xinyi Hu, Jasper Lee, Jimmy Lee, Allen Z. Zhong

NeurIPS 2022 Finite-Sample Maximum Likelihood Estimation of Location Shivam Gupta, Jasper Lee, Ecprice, Paul Valiant

NeurIPS 2022 Outlier-Robust Sparse Mean Estimation for Heavy-Tailed Distributions Ilias Diakonikolas, Daniel Kane, Jasper Lee, Ankit Pensia