20 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.AI2022★ 20 cited
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
Albert Q. Jiang, Wenda Li, Szymon Tworkowski +5
In theorem proving, the task of selecting useful premises from a large library to unlock the proof of a given conjecture is crucially important. This presents a challenge for all t…
cs.LG2019★ 6 cited
Uncertainty-sensitive Learning and Planning with Ensembles
Piotr Miłoś, Łukasz Kuciński, Konrad Czechowski +2
We propose a reinforcement learning framework for discrete environments in which an agent makes both strategic and tactical decisions. The former manifests itself through the use o…