Our paper on revised version of miniF2F benchmark for Lean4 was accepted at NeurIPS 2025! Link to OpenReview
Our paper on revised version of miniF2F benchmark for Lean4 was accepted at NeurIPS 2025! Link to OpenReview Our paper on revised version of miniF2F benchmark for Lean4 was accepted at NeurIPS 2025! Link to OpenReview