Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Maxwell Crouse

Learning to Guide a Saturation-Based Theorem Prover

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

  Access Paper or Ask Questions

Neural Analogical Matching

Apr 27, 2020
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth Forbus

  Access Paper or Ask Questions

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

Feb 02, 2020
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

* 7 pages 

  Access Paper or Ask Questions

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Nov 15, 2019
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue

  Access Paper or Ask Questions

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies

Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

  Access Paper or Ask Questions

High-Fidelity Vector Space Models of Structured Data

Jan 15, 2019
Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth Forbus, Michael Witbrock

* updated to reflect conference submission, new experiment added 

  Access Paper or Ask Questions