Bhavana Dalvi Mishra
- ProofWriter: Generating Implications, Proofs, and Abductive Statements\n over Natural Language
2020/12/23 by Oyvind Tafjord, Tafjord, Oyvind, Bhavana Dalvi Mishra +3 · 48 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Semantic Web and Ontologies
- Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge
2021/02/05 by Sumithra Bhakthavatsalam, Daniel Khashabi, Bhakthavatsalam, Sumithra +16 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- DiscoveryBench: Towards Data-Driven Discovery with Large Language Models
2024/07/01 by Bodhisattwa Prasad Majumder, Harshit Surana, Majumder, Bodhisattwa Prasad +17 · 14 citations
Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Advanced Database Systems and Queries
- CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization
2023/10/16 by Bodhisattwa Prasad Majumder, Majumder, Bodhisattwa Prasad, Bhavana Dalvi Mishra +13 · 9 citations
Computer Science · #Topic Modeling
- IdeaSynth: Iterative Research Idea Development Through Evolving and Composing Idea Facets with Literature-Grounded Feedback
2024/10/05 by Kevin Pu, Pu, Kevin, K. J. Kevin Feng +14 · 12 citations
Social Sciences · #Artificial Intelligence (cs.AI) #Education and Critical Thinking Development #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
- Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning
2022/10/21 by Oyvind Tafjord, Bhavana Dalvi Mishra, Tafjord, Oyvind +3 · 2 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- SkillOS: Learning Skill Curation for Self-Evolving Agents
2026/05/07 by Siru Ouyang, Jun Yan, Yanfei Chen +13 · 2 voices · 2 citations
Computer Science · #cs.AI #cs.CL
- AutoDiscovery: Open-ended Scientific Discovery via Bayesian Surprise
2025/06/30 by D. P. Agarwal, Agarwal, Dhruv, Bodhisattwa Prasad Majumder +17 · 5 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Topic Modeling
- From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
2019/09/04 by Peter Clark, Oren Etzioni, Clark, Peter +26 · 1 citation
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic
2024/02/22 by Nathaniel Weir, Kate Sanders, Weir, Nathaniel +18 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling