F
Oct 21, 2026Fix, Not Just Resample
The problem: proof search wastes its best feedback Language models generate Lean proofs by...
Oct 21, 20266 min read0 reactions0 comments
Tag archive
The problem: proof search wastes its best feedback Language models generate Lean proofs by...