2 ms·

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

7 points by mnk47 2y ago

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