| 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 | 36* | 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 | 29 | 2019 |
| 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 | 20 | 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 | 15 | 2021 |
| Neural analogical matching M Crouse, C Nakos, I Abdelaziz, K Forbus Association for the Advancement of Artificial Intelligence, 2020 | 12 | 2020 |
| 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 | 8 | 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 |
| 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 | 6 | 2020 |
| 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 | 5 | 2023 |
| Analogies Versus Rules in Cognitive Architecture KD Forbus, ET Hinrichs, EM Crouse, J Blass Proceedings of Advances in Cognitive Systems, 2020 | 4 | 2020 |
| Formally specifying the high-level behavior of LLM-based agents M Crouse, I Abdelaziz, K Basu, S Dan, S Kumaravel, A Fokoue, ... arXiv preprint arXiv:2310.08535, 2023 | 3 | 2023 |
| Encoding and decoding tree data structures as vector data structures A Fokoue-Nkoutche, M Crouse, M Witbrock, RA Musa, M Chang US Patent 11,500,841, 2022 | 3 | 2022 |
| Question-Answering with Structural Analogy M Crouse Northwestern University, 2021 | 3 | 2021 |
| 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 | 2 | 2023 |
| Towards High-Precision Understanding of Comparative Analysis Problems Expressed in Natural Language M Crouse, K Forbus Proceedings of the 33rd International Workshop on Qualitative Reasoning, 2020 | 2 | 2020 |
| Step Semantics: Representation for State Changes in Natural Language K Forbus, M Chang, D Ribeiro, T Hinrichs, M Crouse, M Witbrock Proceedings of the AAAI 2019 Workshop on Complex Question-Answering, 2019 | 2 | 2019 |
| Compositional Program Generation for Systematic Generalization T Klinger, L Liu, S Dan, M Crouse, P Ram, A Gray arXiv preprint arXiv:2309.16467, 2023 | 1 | 2023 |
