Wu's Method Can Boost AlphaGeometry to Outperform Gold Medalists at IMO Geometry (arxiv.org) 7 points by mnk47 2y ago ↗ HN
[–] 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
1 comment
[ 2.9 ms ] story [ 8.8 ms ] thread