Search Results for author:
Found 2 papers, 0 papers with code
Graph Representations for Higher-Order Logic and Theorem Proving
This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain.
Ranked #1 on
Automated Theorem Proving
on HOList benchmark
Deep Network Guided Proof Search
Here we suggest deep learning based guidance in the proof search of the theorem prover E. We train and compare several deep neural network models on the traces of existing ATP proofs of Mizar statements and use them to select processed clauses during proof search.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
