all AI news
[R] Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
April 23, 2024, 7:11 p.m. | /u/SeawaterFlows
Machine Learning www.reddit.com
**Code**: [https://huggingface.co/datasets/bethgelab/simplegeometry](https://huggingface.co/datasets/bethgelab/simplegeometry)
**Abstract**:
>Proving geometric theorems constitutes a hallmark of visual reasoning combining both intuitive and logical skills. Therefore, automated theorem proving of Olympiad-level geometry problems is considered a notable milestone in human-level automated reasoning. The introduction of AlphaGeometry, a neuro-symbolic model trained with 100 million synthetic samples, marked a major breakthrough. It solved 25 of 30 International Mathematical Olympiad (IMO) problems whereas the reported baseline based on Wu's method solved only ten. In this note, we revisit …
abstract alphageometry automated geometry geometry problems hallmark human international introduction machinelearning major neuro olympiad reasoning samples skills synthetic theorem visual
More from www.reddit.com / Machine Learning
[D] ECCV 2024 Review Discussion
16 hours ago |
www.reddit.com
[D] Use VQ-VAEs for SSL?
19 hours ago |
www.reddit.com
Jobs in AI, ML, Big Data
Artificial Intelligence – Bioinformatic Expert
@ University of Texas Medical Branch | Galveston, TX
Lead Developer (AI)
@ Cere Network | San Francisco, US
Research Engineer
@ Allora Labs | Remote
Ecosystem Manager
@ Allora Labs | Remote
Founding AI Engineer, Agents
@ Occam AI | New York
AI Engineer Intern, Agents
@ Occam AI | US