Search Results for author: Maxwell Crouse

Found 6 papers, 1 papers with code

Learning to Guide a Saturation-Based Theorem Prover

no code implementations7 Jun 2021 Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

In addition, to the best of our knowledge, TRAIL is the first reinforcement learning-based approach to exceed the performance of a state-of-the-art traditional theorem prover on a standard theorem proving benchmark (solving up to 17% more problems).

Automated Theorem Proving

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

no code implementations2 Feb 2020 Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning.

Automated Theorem Proving

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

no code implementations arXiv 2020 Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue

Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems.

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.