Maxwell Crouse

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio et al. · arXiv (Cornell University) · 2019 · 24 citations · Full text

Computing, Computer Science, Artificial Intelligence +16

Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks

Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal et al. · 2024 · 19 citations · Full text

Computing, Computer Science, Computational Linguistics +11

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni et al. · 2021 · 13 citations

Computing, Computer Science, Mathematics +17

X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization

Subhajit Chaudhury, Sarathkrishna Swaminathan, Chulaka Gunasekara et al. · 2022 · 13 citations · Full text

Computing, Computer Science, Computational Linguistics +13

Granite Code Models: A Family of Open Foundation Models for Code Intelligence

Mayank Mishra, Matt Stallone, Gaoyuan Zhang et al. · arXiv (Cornell University) · 2024 · 10 citations · Full text

Computing, Computer Science, Machine Learning +6