Wu's Method can Boost Symbolic AI to Rival Silver Medalists and
AlphaGeometry to Outperform Gold Medalists at IMO Geometry

Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry

9 April 2024

Ponnurangam Kumaraguru

Matthias Bethge

Papers citing "Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry"

Title
No papers