AI Math
Trinh2024solving trained AlphaGeometry, a neuro-symbolic system with LLMs to solve symbolic deduction problem, approaching the performance of International Mathematical Olympiad gold medalists in geometry problems.
Trinh2024solving trained AlphaGeometry, a neuro-symbolic system with LLMs to solve symbolic deduction problem, approaching the performance of International Mathematical Olympiad gold medalists in geometry problems.