Learning to Repair Lean Proofs from Compiler Feedback
Paper
• 2602.02990 • Published
• 29
Nikita Bukhal
tttzof351
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 20 days ago
Learning to Repair Lean Proofs from Compiler Feedback liked
a dataset about 1 year ago
Vikhrmodels/russian_math liked
a dataset about 1 year ago
Vikhrmodels/physics_big Organizations
