This is the neuro-symbolic architecture of #AlphaGeometry. Similar to System1 and System 2, in the book "Thinking, fast and slow", the symbolic engine will first take a crack at the problem mechanically; if it gets stuck it will ask the neural language model for suggestions of

→ View original post on X — @lmthang,