Crouse, Maxwell

4 publications

IJCAI 2023 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

AAAI 2021 A Deep Reinforcement Learning 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 2021 Neural Analogical Matching Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus

AAAI 2018 Learning from Unannotated QA Pairs to Analogically Disambiguate and Answer Questions Maxwell Crouse, Clifton James McFate, Kenneth D. Forbus