Great to see @WendaLi8 talk about Leanstral in the ICML tutorial:
Starting 2:09:00 you see Leanstral present an elegant 6-line proof using grind compared to Claude's 40-50 line slop and Aristotle's 180-line MCTS trace (alledgedly) :P
Leanstral:
Claude:
Aristotle:
Genuinely gobsmacked by the Aristotle proof taking three vertical screenshots to capture and the last one exceeds twitter photo limit lol
显示更多
