Seguir
Maxwell Crouse
Maxwell Crouse
IBM Research
Dirección de correo verificada de ibm.com - Página principal
Título
Citado por
Citado por
Año
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
37*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
332019
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
252018
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
212019
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
162021
Neural analogical matching
M Crouse, C Nakos, I Abdelaziz, K Forbus
Association for the Advancement of Artificial Intelligence, 2020
122020
Elementary School Science as a Cognitive System Domain: How Much Qualitative Reasoning is Required?
M Crouse, KD Forbus
112016
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
82022
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
82019
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
82018
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
62020
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
52023
Analogies Versus Rules in Cognitive Architecture
KD Forbus, ET Hinrichs, EM Crouse, J Blass
Proceedings of Advances in Cognitive Systems, 2020
42020
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
32024
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
32023
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
32022
Question-Answering with Structural Analogy
M Crouse
Northwestern University, 2021
32021
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
22023
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
22023
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
22020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20