Semantic Search over 9 Million Mathematical Theorems Paper • 2602.05216 • Published 3 days ago • 17
Learning to Repair Lean Proofs from Compiler Feedback Paper • 2602.02990 • Published 5 days ago • 24