Maxwell Crouse 
contact information
Research ScientistChicago, IL
links
Professional Associations
Professional Associations: AAAI2022
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
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
2021
Neural Analogical Matching
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth Forbus
AAAI Conference on Artificial Intelligence, 2021
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
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
2020
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
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
2018
Learning from Unannotated QA Pairs to Analogically Disambiguate and Answer Questions
Maxwell Crouse, Clifton McFate, Kenneth Forbus
AAAI Conference on Artificial Intelligence, 2018
Maxwell Crouse, Clifton McFate, Kenneth Forbus
AAAI Conference on Artificial Intelligence, 2018