Learning to Guide a Saturation-Based Theorem Prover

7 June 2021

Papers citing "Learning to Guide a Saturation-Based Theorem Prover"

7 / 7 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 31 0 0 27 Apr 2025
Efficient Neural Clause-Selection Reinforcement Martin Suda 39 0 0 10 Mar 2025
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices Jingyi Xu Tushar Vaidya Y. Blankenship Saket Chandra Zhangsheng Lai Kai Fong Ernest Chong 41 8 0 21 Mar 2023
Gym-saturation: an OpenAI Gym environment for saturation provers Boris Shminke AIMat LRM 23 3 0 09 Mar 2022
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
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 214 7,923 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 132 0 10 Oct 2013