20 citations · 27 across the 2 of their papers we have counts for
2 papers
cs.LG2022★ 7 cited
Disentangling Transfer in Continual Reinforcement Learning
Maciej Wołczyk, Michał Zając, Razvan Pascanu +2
The ability of continual learning systems to transfer knowledge from previously seen tasks in order to maximize performance on new tasks is a significant challenge for the field, l…
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…