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 | 32 | 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 | 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 | 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 |
An ensemble approach for automated theorem proving based on efficient name invariant graph neural representations A Fokoue, I Abdelaziz, M Crouse, S Ikbal, A Kishimoto, G Lima, ... arXiv preprint arXiv:2305.08676, 2023 | 2 | 2023 |
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 |