Learning to Repair Lean Proofs from Compiler Feedback
Paper • 2602.02990 • Published • 29
Simon Chess
sgvtc
AI & ML interests
None yet
Recent Activity
upvoted a paper 6 days ago
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium upvoted a paper 20 days ago
dLLM: Simple Diffusion Language Modeling liked a model 24 days ago
uw-math-ai/gAPRIL-w-expOrganizations
authored a
paper about 2 months ago