Jan 17, 2024
A neural language model works with a symbolic deduction engine on Olympiad geometry problems.
Combining learned suggestions and formal reasoning solves 25 of a tested set of 30 problems.
Explore on Humanity Unfolds
