Learning Theorem Proving Components

21 July 2021

Papers citing "Learning Theorem Proving Components"

4 / 4 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 44 0 0 10 Mar 2025
Machine Learning Meets The Herbrand Universe Jelle Piepenbrock Josef Urban Konstantin Korovin Miroslav Olvsák Tom Heskes Mikolávs Janota NAI 30 3 0 07 Oct 2022
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample Marie-Anne Lachaux Thibaut Lavril Xavier Martinet Amaury Hayat Gabriel Ebner Aurelien Rodriguez Timothée Lacroix AIMat 41 138 0 23 May 2022
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 61 133 0 10 Oct 2013