1d agoGoogle's LEAP framework uses Lean compiler feedback to solve all 12 Putnam 2025 math problemsIt boosted Lean-IMO benchmark solve rates to 70%.SentimentSentimentPos88.9%Neg11.1%Many users praise Google's LEAP agent for using scaffolding and verifier loops to lift general LLMs from under 10% to 70% on formal math benchmarks like Putnam problems.10 comments with sentiment. View comments.