Lemmas: Generation, Selection, Application

10 March 2023

Papers citing "Lemmas: Generation, Selection, Application"

4 / 4 papers shown

Title
REFACTOR: Learning to Extract Theorems from Proofs Jin Peng Zhou Yuhuai Wu Qiyang Li Roger C. Grosse AIMat 40 7 0 26 Feb 2024
Range-Restricted Interpolation through Clausal Tableaux C. Wernhard 6 1 0 06 Jun 2023
Investigations into Proof Structures C. Wernhard W. Bibel 14 3 0 14 Feb 2023
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving C. Wernhard 16 8 0 26 Sep 2022