Collection by 
Feb 24, 2024
-
Language Models can be Logical Solvers
Paper • 2311.06158 • Published • 19 -
SymbolicAI: A framework for logic-based approaches combining generative models and solvers
Paper • 2402.00854 • Published • 21 -
Grandmaster-Level Chess Without Search
Paper • 2402.04494 • Published • 70 -
Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping
Paper • 2402.14083 • Published • 47
