default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaxwell Crouse
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c9]Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Vernon Austel, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras:
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. ACL (1) 2024: 12859-12870- [i16]Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras:
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. CoRR abs/2402.15491 (2024) - [i15]Mayank Mishra, Matt Stallone, Gaoyuan Zhang, Yikang Shen, Aditya Prasad, Adriana Meza Soria, Michele Merler, Parameswaran Selvam, Saptha Surendran, Shivdeep Singh, Manish Sethi, Xuan-Hong Dang, Pengyuan Li, Kun-Lung Wu, Syed Zawad, Andrew Coleman, Matthew White, Mark Lewis, Raju Pavuluri, Yan Koyfman, Boris Lublinsky, Maximilien de Bayser, Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal, Yi Zhou, Chris Johnson, Aanchal Goyal, Hima Patel, S. Yousaf Shah, Petros Zerfos, Heiko Ludwig, Asim Munawar, Maxwell Crouse, Pavan Kapanipathi, Shweta Salaria, Bob Calio, Sophia Wen, Seetharami Seelam, Brian Belgodere, Carlos A. Fonseca, Amith Singhee, Nirmit Desai, David D. Cox, Ruchir Puri, Rameswar Panda:
Granite Code Models: A Family of Open Foundation Models for Code Intelligence. CoRR abs/2405.04324 (2024) - [i14]Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal, Sadhana Kumaravel, Matthew Stallone, Rameswar Panda, Yara Rizk, GP Bhargav, Maxwell Crouse, Chulaka Gunasekara, Shajith Ikbal, Sachin Joshi, Hima Karanam, Vineet Kumar, Asim Munawar, Sumit Neelam, Dinesh Raghu, Udit Sharma, Adriana Meza Soria, Dheeraj Sreedhar, Praveen Venkateswaran, Merve Unuvar, David Cox, Salim Roukos, Luis A. Lastras, Pavan Kapanipathi:
Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks. CoRR abs/2407.00121 (2024) - [i13]Kinjal Basu, Ibrahim Abdelaziz, Kelsey Bradford, Maxwell Crouse, Kiran Kate, Sadhana Kumaravel, Saurabh Goyal, Asim Munawar, Yara Rizk, Xin Wang, Luis A. Lastras, Pavan Kapanipathi:
NESTFUL: A Benchmark for Evaluating LLMs on Nested Sequences of API Calls. CoRR abs/2409.03797 (2024) - 2023
- [j1]Ibrahim Abdelaziz
, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue:
Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 45(1): 738-751 (2023) - [c8]Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan, Subhajit Chaudhury, R. Chulaka Gunasekara, Maxwell Crouse, Diwakar Mahajan, Ibrahim Abdelaziz, Achille Fokoue, Pavan Kapanipathi, Salim Roukos, Alexander Gray:
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types. ACL (Findings) 2023: 4485-4503 - [c7]Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger:
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing. ACL (1) 2023: 8434-8448 - [c6]Shajith Ikbal, Udit Sharma, Hima Karanam, Sumit Neelam, Ronny Luss, Dheeraj Sreedhar, Pavan Kapanipathi, Naweed Khan, Kyle Erwin, Ndivhuwo Makondo, Ibrahim Abdelaziz, Achille Fokoue, Alexander Gray, Maxwell Crouse, Subhajit Chaudhury, Chitra Subramanian:
Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge. EMNLP (Findings) 2023: 1707-1718 - [c5]Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu:
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. IJCAI 2023: 3221-3229 - [i12]Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger:
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing. CoRR abs/2305.04346 (2023) - [i11]Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu:
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. CoRR abs/2305.08676 (2023) - [i10]Maxwell Crouse, Ramón Fernandez Astudillo, Tahira Naseem, Subhajit Chaudhury, Pavan Kapanipathi, Salim Roukos, Alexander Gray:
Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency. CoRR abs/2305.20018 (2023) - [i9]Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan, Subhajit Chaudhury, R. Chulaka Gunasekara, Maxwell Crouse, Diwakar Mahajan, Ibrahim Abdelaziz, Achille Fokoue, Pavan Kapanipathi, Salim Roukos, Alexander Gray:
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types. CoRR abs/2306.10452 (2023) - [i8]Tim Klinger, Luke Liu, Soham Dan, Maxwell Crouse, Parikshit Ram, Alexander Gray:
Compositional Program Generation for Systematic Generalization. CoRR abs/2309.16467 (2023) - [i7]Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis A. Lastras:
Formally Specifying the High-Level Behavior of LLM-Based Agents. CoRR abs/2310.08535 (2023) - 2022
- [c4]Subhajit Chaudhury, Sarathkrishna Swaminathan, R. Chulaka Gunasekara, Maxwell Crouse, Srinivas Ravishankar, Daiki Kimura, Keerthiram Murugesan, Ramón Fernandez Astudillo, Tahira Naseem, Pavan Kapanipathi, Alexander Gray:
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization. EMNLP 2022: 7100-7110 - 2021
- [c3]Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus:
Neural Analogical Matching. AAAI 2021: 809-817 - [c2]Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI 2021: 6279-6287 - [i6]Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue:
Learning to Guide a Saturation-Based Theorem Prover. CoRR abs/2106.03906 (2021) - 2020
- [i5]Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue:
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR abs/2002.00423 (2020) - [i4]Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus:
Neural Analogical Matching. CoRR abs/2004.03573 (2020)
2010 – 2019
- 2019
- [i3]Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth D. Forbus, Michael Witbrock:
High-Fidelity Vector Space Models of Structured Data. CoRR abs/1901.02565 (2019) - [i2]Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR abs/1911.02065 (2019) - [i1]Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue:
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR abs/1911.06904 (2019) - 2018
- [c1]Maxwell Crouse, Clifton James McFate, Kenneth D. Forbus:
Learning From Unannotated QA Pairs to Analogically Disambiguate and Answer Questions. AAAI 2018: 654-662
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
