Learning to Repair Lean Proofs from Compiler Feedback
Paper • 2602.02990 • Published • 29
Lazar Milikic
Lemmy00
·
AI & ML interests
None yet
Recent Activity
updated a dataset 14 days ago
formalmathatepfl/sft_classic_numina published a dataset 14 days ago
formalmathatepfl/sft_classic_numina updated a model 15 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050Organizations
upvoted a paper 4 months ago