Maxwell Crouse

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 25

Top Topics

Theorem Proving

Top Venues

Publications

Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal, Sadhana Kumaravel, Matthew Stallone, Rameswar Panda, Yara Rizk, GP Bhargav, Maxwell Crouse, Chulaka Gunasekara, Shajith Ikbal, Sachin Joshi, Hima Karanam, Vineet Kumar, Asim Munawar, Sumit Neelam, Dinesh Raghu, Udit Sharma, Adriana Meza Soria, Dheeraj Sreedhar, Praveen Venkateswaran, Merve Unuvar, David Cox, Salim Roukos, Luis A. Lastras, Pavan Kapanipathi
Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks. CoRR (2024)
Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. CoRR (2024)
Mayank Mishra, Matt Stallone, Gaoyuan Zhang, Yikang Shen, Aditya Prasad, Adriana Meza Soria, Michele Merler, Parameswaran Selvam, Saptha Surendran, Shivdeep Singh, Manish Sethi, Xuan-Hong Dang, Pengyuan Li, Kun-Lung Wu, Syed Zawad, Andrew Coleman, Matthew White, Mark Lewis, Raju Pavuluri, Yan Koyfman, Boris Lublinsky, Maximilien de Bayser, Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal, Yi Zhou, Chris Johnson, Aanchal Goyal, Hima Patel, S. Yousaf Shah, Petros Zerfos, Heiko Ludwig, Asim Munawar, Maxwell Crouse, Pavan Kapanipathi, Shweta Salaria, Bob Calio, Sophia Wen, Seetharami Seelam, Brian Belgodere, Carlos A. Fonseca, Amith Singhee, Nirmit Desai, David D. Cox, Ruchir Puri, Rameswar Panda
Granite Code Models: A Family of Open Foundation Models for Code Intelligence. CoRR (2024)
Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Vernon Austel, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. ACL (1) (2024)
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
Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge. EMNLP (Findings) (2023)
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. IJCAI (2023)
Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing. ACL (1) (2023)
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 45 (1) (2023)
Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis A. Lastras
Formally Specifying the High-Level Behavior of LLM-Based Agents. CoRR (2023)
Maxwell Crouse, Ramón Fernandez Astudillo, Tahira Naseem, Subhajit Chaudhury, Pavan Kapanipathi, Salim Roukos, Alexander Gray
Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency. CoRR (2023)
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. CoRR (2023)
Tim Klinger, Luke Liu, Soham Dan, Maxwell Crouse, Parikshit Ram, Alexander Gray
Compositional Program Generation for Systematic Generalization. CoRR (2023)
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
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types. CoRR (2023)
Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing. CoRR (2023)
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
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types. ACL (Findings) (2023)
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
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization. EMNLP (2022)
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus
Neural Analogical Matching. AAAI (2021)
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
Learning to Guide a Saturation-Based Theorem Prover. CoRR (2021)
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI (2021)
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR (2020)
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus
Neural Analogical Matching. CoRR (2020)
Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth D. Forbus, Michael Witbrock
High-Fidelity Vector Space Models of Structured Data. CoRR (2019)
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR (2019)
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR (2019)
Maxwell Crouse, Clifton James McFate, Kenneth D. Forbus
Learning From Unannotated QA Pairs to Analogically Disambiguate and Answer Questions. AAAI (2018)