Premise Selection for Theorem Proving by Deep Graph Embedding

28 September 2017

Papers citing "Premise Selection for Theorem Proving by Deep Graph Embedding"

5 / 5 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 26 0 0 27 Apr 2025
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions Jordan Meadows Tamsin James André Freitas ReLM LRM AI4CE 14 1 0 29 Apr 2024
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling M. Crouse Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 93 36 0 15 Nov 2019
Embedding Logical Queries on Knowledge Graphs William L. Hamilton Payal Bajaj Marinka Zitnik Dan Jurafsky J. Leskovec NAI 17 281 0 05 Jun 2018
A Semantic Loss Function for Deep Learning with Symbolic Knowledge Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang Guy Van den Broeck 19 441 0 29 Nov 2017