Learning to Guide a Saturation-Based Theorem Prover-Reference-Cited by-同舟云学术

Learning to Guide a Saturation-Based Theorem Prover

Published:2023-01-01 Issue:1 Volume:45 Page:738-751
ISSN:0162-8828
Container-title:IEEE Transactions on Pattern Analysis and Machine Intelligence
language:
Short-container-title:IEEE Trans. Pattern Anal. Mach. Intell.

Author:

Abdelaziz Ibrahim¹^ORCID,Crouse Maxwell¹^ORCID,Makni Bassem²,Austel Vernon¹,Cornelio Cristina³,Ikbal Shajith¹,Kapanipathi Pavan¹,Makondo Ndivhuwo¹^ORCID,Srinivas Kavitha¹,Witbrock Michael⁴,Fokoue Achille¹^ORCID

Affiliation:

1. IBM Research, Armonk, NY, USA

2. Arizona State University, Tempe, AZ, USA

3. Samsung AI, Cambridge, U.K.

4. University of Auckland, Auckland, New Zealand

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Applied Mathematics,Artificial Intelligence,Computational Theory and Mathematics,Computer Vision and Pattern Recognition,Software

Link

http://xplorestaging.ieee.org/ielx7/34/9970415/09669114.pdf?arnumber=9669114

Reference76 articles.

1. Automated theorem proving, fast and slow;rawson;EasyChair Preprint,2021

2. A Neurally-Guided, Parallel Theorem Prover

3. Property invariant embedding for automated reasoning;olšák;Proc 24th Eur Conf Artif Intell,2020

4. Learning representations of logical formulae using graph neural networks;glorot,2019

5. Progress in the Development of Automated Theorem Proving for Higher-Order Logic

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Astgnns: A Graph Neural Network Model Integrated Simplified Logical Formula Graph Representation for Premise Selection;2024

2. Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning;2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2023-11-17

3. Fully reusing clause deduction algorithm based on standard contradiction separation rule;Information Sciences;2023-04

4. gym-saturation: Gymnasium Environments for Saturation Provers (System description);Lecture Notes in Computer Science;2023

5. gym-saturation: an OpenAI Gym environment for saturation provers;Journal of Open Source Software;2022-03-03