Maxwell Crouse  Maxwell Crouse photo         

contact information

Research Scientist
Chicago, IL


Professional Associations

Professional Associations:  AAAI


Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2022


Neural Analogical Matching
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth Forbus
AAAI Conference on Artificial Intelligence, 2021

A Deep Reinforcement Learning based Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
AAAI Conference on Artificial Intelligence, 2021


Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue
KDD Workshop on Deep Learning on Graphs: Methods and Applications, 2020


Learning from Unannotated QA Pairs to Analogically Disambiguate and Answer Questions
Maxwell Crouse, Clifton McFate, Kenneth Forbus
AAAI Conference on Artificial Intelligence, 2018

Technical Areas