Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry #1 Post by shivensinha4 » Thu, Apr 11, 2024, 12:53 PM UTC Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometryarxiv.org