Mistral simplifies Lean theorem proving with a coding agent and scaling

Original: very nice release by mistral (with a tech report!!), they replace the complicated scaffold of previous lean models by a simple coding agent and just scale test time compute budget with compaction ever

Source: x.com ↗