Neuro-symbolic paradigm strikes again! If in #AlphaGeometry, the creative language model (System 1) suggests insights for the reliable symbolic engine (System 2) to complete a proof, we see that pattern again in #AlphaProof. The language model suggests key proof steps in a

→ View original post on X — @lmthang,