| A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving M Crouse, I Abdelaziz, B Makni, S Whitehead, C Cornelio, P Kapanipathi, ... Association for the Advancement of Artificial Intelligence, 2019 | 46* | 2019 |
| Improving graph neural network representations of logical formulae with subgraph pooling M Crouse, I Abdelaziz, C Cornelio, V Thost, L Wu, K Forbus, A Fokoue arXiv preprint arXiv:1911.06904, 2019 | 35 | 2019 |
| Granite code models: A family of open foundation models for code intelligence M Mishra, M Stallone, G Zhang, Y Shen, A Prasad, AM Soria, M Merler, ... arXiv preprint arXiv:2405.04324, 2024 | 28 | 2024 |
| Learning from Unannotated QA Pairs to Analogically Disambiguate and Answer Questions M Crouse, C McFate, K Forbus Association for the Advancement of Artificial Intelligence, 2018 | 25 | 2018 |
| Predicting state changes in procedural text using analogical question answering D Ribeiro, T Hinrichs, M Crouse, K Forbus, M Chang, M Witbrock 7th Annual Conference on Advances in Cognitive Systems, 2019 | 21 | 2019 |
| Learning to Guide a Saturation-Based Theorem Prover I Abdelaziz, M Crouse, B Makni, V Austil, C Cornelio, S Ikbal, ... IEEE Transactions on Pattern Analysis and Machine Intelligence, 2021 | 16 | 2021 |
| Neural analogical matching M Crouse, C Nakos, I Abdelaziz, K Forbus Association for the Advancement of Artificial Intelligence, 2020 | 13 | 2020 |
| Granite-function calling model: Introducing function calling abilities via multi-task learning of granular tasks I Abdelaziz, K Basu, M Agarwal, S Kumaravel, M Stallone, R Panda, ... arXiv preprint arXiv:2407.00121, 2024 | 12 | 2024 |
| API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs K Basu, I Abdelaziz, S Chaudhury, S Dan, M Crouse, A Munawar, ... arXiv preprint arXiv:2402.15491, 2024 | 11 | 2024 |
| Elementary School Science as a Cognitive System Domain: How Much Qualitative Reasoning is Required? M Crouse, KD Forbus | 11 | 2016 |
| X-factor: A cross-metric evaluation of factual correctness in abstractive summarization S Chaudhury, S Swaminathan, C Gunasekara, M Crouse, S Ravishankar, ... Proceedings of the 2022 Conference on Empirical Methods in Natural Language …, 2022 | 9 | 2022 |
| Analogical question answering in a multimodal information kiosk JR Wilson, K Chen, M Crouse, C Nakos, DN Ribeiro, I Rabkina, ... Proceedings of the seventh annual conference on advances in cognitive systems, 2019 | 8 | 2019 |
| Learning to build qualitative scenario models from natural language M Crouse, C McFate, K Forbus Proc. 31st Int. Workshop on Qualitative Reasoning (QR’18), 2018 | 8 | 2018 |
| Capturing the global structure of logical formulae with graph long short-term memory M Crouse, I Abdelaziz, C Cornelio, V Thost, L Wu, B Makni, K Srinivas, ... US Patent 11,741,375, 2023 | 7 | 2023 |
| An experimental study of formula embeddings for automated theorem proving in first-order logic I Abdelaziz, V Thost, M Crouse, A Fokoue arXiv preprint arXiv:2002.00423, 2020 | 7 | 2020 |
| Formally specifying the high-level behavior of LLM-based agents M Crouse, I Abdelaziz, R Astudillo, K Basu, S Dan, S Kumaravel, ... arXiv preprint arXiv:2310.08535, 2023 | 6 | 2023 |
| Granite code models: A family of open foundation models for code intelligence, 2024 M Mishra, M Stallone, G Zhang, Y Shen, A Prasad, AM Soria, M Merler, ... URL https://arxiv. org/abs/2405.04324, 2022 | 6 | 2022 |
| Question-Answering with Structural Analogy M Crouse Northwestern University, 2021 | 5 | 2021 |
| Analogies Versus Rules in Cognitive Architecture KD Forbus, ET Hinrichs, EM Crouse, J Blass Proceedings of Advances in Cognitive Systems, 2020 | 4 | 2020 |
| Laziness is a virtue when it comes to compositionality in neural semantic parsing M Crouse, P Kapanipathi, S Chaudhury, T Naseem, R Astudillo, A Fokoue, ... arXiv preprint arXiv:2305.04346, 2023 | 3 | 2023 |
