Search Results for author:
Found 10 papers, 4 papers with code
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
We propose DSR-LM, a Differentiable Symbolic Reasoning framework where pre-trained LMs govern the perception of factual knowledge, and a symbolic module performs deductive reasoning.
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
We propose LASER, a neuro-symbolic approach to learn semantic video representations that capture rich spatial and temporal properties in video data by leveraging high-level logic specifications.
Scallop: A Language for Neurosymbolic Programming
We present Scallop, a language which combines the benefits of deep learning and logical reasoning.
Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions
Deformable image registration plays a critical role in various tasks of medical image analysis.
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
Deep learning and symbolic reasoning are complementary techniques for an intelligent system.
TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations
To the best of our knowledge, Tikick is the first learning-based AI system that can take over the multi-agent Google Research Football full game, while previous work could either control a single agent or experiment on toy academic scenarios.
Numerical Reasoning over Legal Contracts via Relational Database
Numerical reasoning over text requires deep integration between the semantic understanding of the natural language context and the mathematical calculation of the symbolic terms.
HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS
We present a learning-based approach to detect and fix a broad range of bugs in Javascript programs.
GREASE: A Generative Model for Relevance Search over Knowledge Graphs
The model applies to meta-path based relevance where a meta-path characterizes a particular type of semantics of relating the query entity to answer entities.
Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
Our approach is able to handle the rolling-shutter effects and imperfect sensor synchronization in a unified way.
