research
∙
06/01/2022
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
Complex reasoning problems contain states that vary in the computational...
share
research
∙
05/22/2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
In theorem proving, the task of selecting useful premises from a large l...
research
∙
08/25/2021
Subgoal Search For Complex Reasoning Tasks
Humans excel in solving complex reasoning tasks through a mental process...
research
∙
12/19/2019
Uncertainty-sensitive Learning and Planning with Ensembles
We propose a reinforcement learning framework for discrete environments ...
research
∙
03/01/2019