Maxwell Crouse

Researcher, International Business Machines

Joined

July 2019

Names

Maxwell Crouse

Emails

****@u.northwestern.edu (Confirmed)

****@ibm.com (Confirmed)

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher

International Business Machines (ibm.com)

2022 – Present

PhD student

Northwestern University (northwestern.edu)

2015 – 2021

Advisors, Relations & Conflicts

PhD Advisor

Kenneth Forbus

2015 – 2021

Expertise

Neuro-symbolic

Present

Semantic parsing

Present

Theorem proving

Present

Publications

Formally Specifying the High-Level Behavior of LLM-Based Agents
Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis A. Lastras
- ICLR 2024 Conference Withdrawn Submission
- Readers: Everyone
Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge
Shajith Ikbal, Udit Sharma, Hima Karanam, Sumit Neelam, Ronny Luss, Dheeraj Sreedhar, Pavan Kapanipathi, Naweed Khan, Kyle Erwin, Ndivhuwo Makondo, Ibrahim Abdelaziz, Achille Fokoue, Alexander G. Gray, Maxwell Crouse, Subhajit Chaudhury, Chitra K Subramanian
- EMNLP 2023 Findings
- Readers: Everyone
Compositional Program Generation for Systematic Generalization
Tim Klinger, Qi Liu, Maxwell Crouse, Soham Dan, Parikshit Ram, Alexander G. Gray
- Published: 16 Jun 2023, Last Modified: 26 Jun 2023
- IJCAI 2023 Workshop KBCG Oral
- Readers: Everyone
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
- 2023 (modified: 23 Jan 2023)
- IEEE Trans. Pattern Anal. Mach. Intell. 2023
- Readers: Everyone
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger
- Published: 01 Jan 2023, Last Modified: 18 May 2023
- CoRR 2023
- Readers: Everyone
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
- Published: 01 Jan 2023, Last Modified: 18 May 2023
- CoRR 2023
- Readers: Everyone
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization
Subhajit Chaudhury, Sarathkrishna Swaminathan, R. Chulaka Gunasekara, Maxwell Crouse, Srinivas Ravishankar, Daiki Kimura, Keerthiram Murugesan, Ramón Fernandez Astudillo, Tahira Naseem, Pavan Kapanipathi, Alexander Gray
- Published: 01 Jan 2022, Last Modified: 18 May 2023
- EMNLP 2022
- Readers: Everyone
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
- 2021 (modified: 08 Jul 2021)
- CoRR 2021
- Readers: Everyone
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
- 2021 (modified: 31 Mar 2022)
- AAAI 2021
- Readers: Everyone
Neural Analogical Matching
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus
- Published: 01 Jan 2021, Last Modified: 18 May 2023
- AAAI 2021
- Readers: Everyone

View all 13 publications

Co-Authors

View all 45 co-authors