Created on November 04, 2025
2025
Our paper on repair-driven agent for Lean4 was accepted at NeurIPS 2025! Link to OpenReview
Our paper on repair-driven agent for Lean4 was accepted at NeurIPS 2025! Link to OpenReview Our paper on repair-driven agent for Lean4 was accepted at NeurIPS 2025! Link to OpenReview