Learning From Unannotated QA Pairs to Analogically Disambiguate and Answer Questions. - Maxwell Crouse; Clifton James McFate; Kenneth D. Forbus (AAAI, 2018)

High-Fidelity Vector Space Models of Structured Data. - Maxwell Crouse; Achille Fokoue; Maria Chang 001; Pavan Kapanipathi; Ryan Musa; Constantine Nakos; Lingfei Wu 001; Kenneth D. Forbus; Michael Witbrock (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)

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. - Maxwell Crouse; Ibrahim Abdelaziz; Cristina Cornelio; Veronika Thost; Lingfei Wu 001; Kenneth D. Forbus; Achille Fokoue (CoRR, 2019)

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. - Ibrahim Abdelaziz; Veronika Thost; Maxwell Crouse; Achille Fokoue (CoRR, 2020)

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, 2021)

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 001 (EMNLP, 2022)

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 (ACL (1), 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 001 (ACL (Findings), 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; et al. (EMNLP (Findings), 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 002 (IJCAI, 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 001 (CoRR, 2023)

Compositional Program Generation for Systematic Generalization. - Tim Klinger; Luke Liu; Soham Dan; Maxwell Crouse; Parikshit Ram; Alexander Gray 001 (CoRR, 2023)

Formally Specifying the High-Level Behavior of LLM-Based Agents. - Maxwell Crouse; Ibrahim Abdelaziz; Kinjal Basu 002; Soham Dan; Sadhana Kumaravel; Achille Fokoue; Pavan Kapanipathi; Luis A. Lastras (CoRR, 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)

API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. - Kinjal Basu 002; Ibrahim Abdelaziz; Subhajit Chaudhury; Soham Dan; Maxwell Crouse; Asim Munawar; Vernon Austel; Sadhana Kumaravel; Vinod Muthusamy; Pavan Kapanipathi; Luis A. Lastras (ACL (1), 2024)

Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks. - Ibrahim Abdelaziz; Kinjal Basu 002; Mayank Agarwal; Sadhana Kumaravel; Matthew Stallone; Rameswar Panda; Yara Rizk; G. P. Shrivatsa Bhargav; Maxwell Crouse; R. Chulaka Gunasekara; Shajith Ikbal; Sachindra Joshi; et al. (EMNLP (Industry Track), 2024)

API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. - Kinjal Basu 002; Ibrahim Abdelaziz; Subhajit Chaudhury; Soham Dan; Maxwell Crouse; Asim Munawar; Sadhana Kumaravel; Vinod Muthusamy; Pavan Kapanipathi; Luis A. Lastras (CoRR, 2024)

Granite Code Models: A Family of Open Foundation Models for Code Intelligence. - 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; et al. (CoRR, 2024)

Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks. - Ibrahim Abdelaziz; Kinjal Basu 002; Mayank Agarwal; Sadhana Kumaravel; Matthew Stallone; Rameswar Panda; Yara Rizk; GP Bhargav; Maxwell Crouse; R. Chulaka Gunasekara; Shajith Ikbal; Sachin Joshi; et al. (CoRR, 2024)

NESTFUL: A Benchmark for Evaluating LLMs on Nested Sequences of API Calls. - Kinjal Basu 002; Ibrahim Abdelaziz; Kelsey Bradford; Maxwell Crouse; Kiran Kate; Sadhana Kumaravel; Saurabh Goyal; Asim Munawar; Yara Rizk; Xin Wang; Luis A. Lastras; Pavan Kapanipathi (CoRR, 2024)

Quantitative ultrasound augmented with machine learning to assess tissue microstructure during wound healing. - David Lemonnier; Brandon J. Sumpio; Maxwell Crouse; Ikram Mezghani; Georgios Theocharidis; Margaret A. Jakus; Karen Rayappa; Naoki Abe; Kyongmin Yeo; Tengfei Ma; Samuel K. Sia; Aristidis Veves; et al. (Biomed. Signal Process. Control., 2025)

Few-shot Policy (de)composition in Conversational Question Answering. - Kyle Erwin; Guy Axelrod; Maria Chang 001; Achille Fokoue; Maxwell Crouse; Soham Dan; Tian Gao; Rosario Uceda-Sosa; Ndivhuwo Makondo; Naweed Khan; Alexander G. Gray (CoRR, 2025)