565 citations · 2.3k across the 68 of their papers we have counts for
11 papers · 1 filter
AppWorld-UL: Benchmarking Diverse Agent-User Interactions for Tool-Use
Junzhi Chen, Harsh Trivedi, Jane Pan +4
Tool-use agents that address day-to-day digital tasks such as ordering groceries must not only operate applications, but also interact with the user, e.g., to ask clarification que…
ADaPT: As-Needed Decomposition and Planning with Language Models
Archiki Prasad, Alexander Koller, Mareike Hartmann +4
Large Language Models (LLMs) are increasingly being used for interactive decision-making tasks requiring planning and adapting to the environment. Recent works employ LLMs-as-agent…
Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challenge
Peter Clark, Isaac Cowhey, Oren Etzioni +4
We present a new question set, text corpus, and baselines assembled to encourage AI research in advanced question answering. Together, these constitute the AI2 Reasoning Challenge…
Answering Complex Questions Using Open Information Extraction
Tushar Khot, Ashish Sabharwal, Peter Clark
While there has been substantial progress in factoid question-answering (QA), answering complex questions remains challenging, typically requiring both a large body of knowledge an…
Knowledge Completion for Generics using Guided Tensor Factorization
Hanie Sedghi, Ashish Sabharwal
Given a knowledge base or KB containing (noisy) facts about common nouns or generics, such as "all trees produce oxygen" or "some animals live in forests", we consider the problem…
Question Answering via Integer Programming over Semi-Structured Knowledge
Daniel Khashabi, Tushar Khot, Ashish Sabharwal +3
Answering science questions posed in natural language is an important AI challenge. Answering such questions often requires non-trivial inference and knowledge that goes beyond fac…
Markov Logic Networks for Natural Language Question Answering
Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff +3
Our goal is to answer elementary-level science questions using knowledge extracted automatically from science textbooks, expressed in a subset of first-order logic. Given the incom…
Optimization With Parity Constraints: From Binary Codes to Discrete Integration
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal +1
Many probabilistic inference tasks involve summations over exponentially large sets. Recently, it has been shown that these problems can be reduced to solving a polynomial number o…
Survey Propagation Revisited
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey propagation (SP) is an exciting new technique that has been remarkably successful at solving very large hard combinatorial problems, such as determining the satisfiability o…
Understanding Sampling Style Adversarial Search Methods
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
UCT has recently emerged as an exciting new adversarial reasoning technique based on cleverly balancing exploration and exploitation in a Monte-Carlo sampling setting. It has been…
Towards Understanding and Harnessing the Potential of Clause Learning
P. Beame, H. Kautz, A. Sabharwal
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problems,…