94 citations · 449 across the 53 of their papers we have counts for
7 papers · 1 filter
Neurosymbolic Programming for Science
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal +4
Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific discovery. These models combine neural and symbolic components to learn complex patterns and r…
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Meghana Sistla, Swarat Chaudhuri, Thomas Reps
This paper presents a new compressed representation of Boolean functions, called CFLOBDDs (for Context-Free-Language Ordered Binary Decision Diagrams). They are essentially a plug-…
Natural Language Deduction with Incomplete Information
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri +1
A growing body of work studies how to answer a question or verify a claim by generating a natural language "proof": a chain of deductive inferences yielding the answer based on a s…
Guiding Safe Exploration with Weakest Preconditions
Greg Anderson, Swarat Chaudhuri, Isil Dillig
In reinforcement learning for safety-critical settings, it is often desirable for the agent to obey safety constraints at all points in time, including during training. We present…
Policy Optimization with Linear Temporal Logic Constraints
Cameron Voloshin, Hoang M. Le, Swarat Chaudhuri +1
We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to enc…
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
Chenxi Yang, Swarat Chaudhuri
We study the problem of learning worst-case-safe parameters for programs that use neural networks as well as symbolic, human-written code. Such neurosymbolic programs arise in many…
Natural Language Deduction through Search over Statement Compositions
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri +1
In settings from fact-checking to question answering, we frequently want to know whether a collection of evidence (premises) entails a hypothesis. Existing methods primarily focus…