Microsoft Research explores AI systems as Tools for Thought @ CHI 2025
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
View PDF
SymbolicAI: A framework for logic-based approaches combining generative models and solvers
Download PDF
2305
Can Transformers Learn to Solve Problems Recursively?
View of On the Evaluation of (Meta-)solver Approaches
The Thinkism Fallacy
New Model for Solving Novel Problems Uses Mental Map - Neuroscience News