Wu's Method Can Boost AlphaGeometry to Outperform Gold Medalists at IMO Geometry

arxiv.org

7 pointsmnk471 comment

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