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