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
[ 0.24 ms ] story [ 18.8 ms ] thread