Maxwell Crouse

According to our database, Maxwell Crouse authored at least 17 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs.

Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras

CoRR, 2024

2023

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

IEEE Trans. Pattern Anal. Mach. Intell., 2023

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

CoRR, 2023

Compositional Program Generation for Systematic Generalization.

Tim Klinger, Luke Liu, Soham Dan, Maxwell Crouse, Parikshit Ram, Alexander Gray

CoRR, 2023

Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency.

Maxwell Crouse, Ramón Fernandez Astudillo, Tahira Naseem, Subhajit Chaudhury, Pavan Kapanipathi, Salim Roukos, Alexander Gray

CoRR, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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 Gray, Maxwell Crouse, Subhajit Chaudhury, Chitra Subramanian

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types.

Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan, Subhajit Chaudhury, R. Chulaka Gunasekara, Maxwell Crouse, Diwakar Mahajan, Ibrahim Abdelaziz, Achille Fokoue, Pavan Kapanipathi, Salim Roukos, Alexander Gray

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

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

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

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

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2021

Neural Analogical Matching.

Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

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

Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

CoRR, 2020

2019

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling.

Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue

CoRR, 2019

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

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

CoRR, 2019

High-Fidelity Vector Space Models of Structured Data.

Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth D. Forbus, Michael Witbrock

CoRR, 2019

2018

Learning From Unannotated QA Pairs to Analogically Disambiguate and Answer Questions.

Maxwell Crouse, Clifton James McFate, Kenneth D. Forbus

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018