Mishra, Bhavana Dalvi
- ProofWriter: Generating Implications, Proofs, and Abductive Statements\n over Natural Language
2020/12/23 by Oyvind Tafjord, Bhavana Dalvi Mishra, Tafjord, Oyvind +3 · 49 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Semantic Web and Ontologies
- DiscoveryBench: Towards Data-Driven Discovery with Large Language Models
2024/07/01 by Bodhisattwa Prasad Majumder, Harshit Surana, Majumder, Bodhisattwa Prasad +17 · 16 citations
Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Advanced Database Systems and Queries
- 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
- CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization
2023/10/16 by Bodhisattwa Prasad Majumder, Bhavana Dalvi Mishra, Majumder, Bodhisattwa Prasad +13 · 9 citations
Computer Science · #Topic Modeling
- DISCOVERYWORLD: A Virtual Environment for Developing and Evaluating Automated Scientific Discovery Agents
2024/06/10 by Peter Jansen, Marc-Alexandre Côté, Jansen, Peter +13 · 11 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Scientific Computing and Data Management #Semantic Web and Ontologies
- 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 · 14 citations
Social Sciences · #Artificial Intelligence (cs.AI) #Education and Critical Thinking Development #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
- WIQA: A dataset for "What if..." reasoning over procedural text
2019/09/10 by Tandon, Niket, Mishra, Bhavana Dalvi, Sakaguchi, Keisuke +2 · 3 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- CodeScientist: End-to-End Semi-Automated Scientific Discovery with Code-based Experimentation
2025/03/20 by Peter Jansen, Jansen, Peter, Oyvind Tafjord +15 · 10 citations
Computer Science · Decision Sciences · Materials Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning in Materials Science #Scientific Computing and Data Management #Software Engineering Research
- Towards Teachable Reasoning Systems: Using a Dynamic Memory of User Feedback for Continual System Improvement
2022/04/27 by Oyvind Tafjord, Mishra, Bhavana Dalvi, Tafjord, Oyvind +2 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Speech and dialogue systems #Topic Modeling
- Tracking State Changes in Procedural Text: A Challenge Dataset and Models for Process Paragraph Comprehension
2018/05/17 by Mishra, Bhavana Dalvi, Huang, Lifu, Tandon, Niket +2 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Skill Set Optimization: Reinforcing Language Model Behavior via Transferable Skills
2024/02/05 by Nottingham, Kolby, Majumder, Bodhisattwa Prasad, Mishra, Bhavana Dalvi +3 · 3 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning
2022/10/21 by Oyvind Tafjord, Tafjord, Oyvind, Bhavana Dalvi Mishra +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
- 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, Clark, Peter, Oren Etzioni +26 · 1 citation
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- Everything Happens for a Reason: Discovering the Purpose of Actions in Procedural Text
2019/09/10 by Mishra, Bhavana Dalvi, Tandon, Niket, Bosselut, Antoine +2 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- A Dataset for Tracking Entities in Open Domain Procedural Text
2020/10/31 by Tandon, Niket, Sakaguchi, Keisuke, Mishra, Bhavana Dalvi +5 · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- DREAM: Improving Situational QA by First Elaborating the Situation
2021/12/16 by Gu, Yuling, Mishra, Bhavana Dalvi, Clark, Peter · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- 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