Graph Contrastive Pre-training for Effective Theorem Reasoning

24 August 2021

Papers citing "Graph Contrastive Pre-training for Effective Theorem Reasoning"

1 / 1 papers shown

Title
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 Leni Aniva Chuyue Sun Brando Miranda Clark W. Barrett Sanmi Koyejo 38 4 0 21 Oct 2024