43 citations · 99 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
Pairwise Relations Discriminator for Unsupervised Raven's Progressive Matrices
Nicholas Quek Wei Kiat, Duo Wang, Mateja Jamnik
The ability to hypothesise, develop abstract concepts based on concrete observations and apply these hypotheses to justify future actions has been paramount in human development. A…
Bayesian Optimisation with Gaussian Processes for Premise Selection
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik +2
Heuristics in theorem provers are often parameterised. Modern theorem provers such as Vampire utilise a wide array of heuristics to control the search space explosion, thereby requ…