Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2View PDF#Mathematics#Geometry#Problem-Solving#DeepMind#Large Language Models#Paper#PDF#Symbolic Reasoning·arxiv.org·Feb 7, 2025Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
SymbolicAI: A framework for logic-based approaches combining generative models and solversDownload PDF#Neurosymbolic#Large Language Models#Problem-Solving#Paper#PDF·arxiv.org·Feb 2, 2024SymbolicAI: A framework for logic-based approaches combining generative models and solvers
Can Transformers Learn to Solve Problems Recursively?#Transformers#Problem-Solving#Recursion#Paper#PDF#EleutherAI·arxiv.org·May 27, 2023Can Transformers Learn to Solve Problems Recursively?
View of On the Evaluation of (Meta-)solver Approaches#Metrics#Problem-Solving#Paper#PDF·jair.org·Mar 18, 2023View of On the Evaluation of (Meta-)solver Approaches