Tag
A research paper introducing a failure-triggered cascade approach to safely integrate machine learning into Lean 4's grind tactic, achieving improved efficiency and solving previously unsolvable proofs without regressions.