An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

15 May 2023

Papers citing "An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations"

4 / 4 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 33 0 0 27 Apr 2025
Efficient Neural Clause-Selection Reinforcement Martin Suda 44 0 0 10 Mar 2025
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Mayank Agarwal Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 101 36 0 15 Nov 2019
Geometric deep learning: going beyond Euclidean data M. Bronstein Joan Bruna Yann LeCun Arthur Szlam P. Vandergheynst GNN 261 3,243 0 24 Nov 2016