84 citations · 143 across the 10 of their papers we have counts for
18 papers
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…
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…
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…
Interpreting Expert Annotation Differences in Animal Behavior
Megan Tjandrasuwita, Jennifer J. Sun, Ann Kennedy +2
Hand-annotated data can vary due to factors such as subjective differences, intra-rater variability, and differing annotator expertise. We study annotations from different experts…
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation
Jiayi Wei, Tongrui Li, Swarat Chaudhuri +2
We propose a new algorithm to simplify the controller development for distributed robotic systems subject to external observations, disturbances, and communication delays. Unlike p…
Flexible Generation of Natural Language Deductions
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri +1
An interpretable system for open-domain reasoning needs to express its reasoning process in a transparent form. Natural language is an attractive representation for this purpose --…