Search Results for author:
Found 9 papers, 7 papers with code
DeiSAM: Segment Anything with Deictic Prompting
To remedy this issue, we propose DeiSAM -- a combination of large pre-trained neural networks with differentiable logic reasoners -- for deictic promptable segmentation.
Learning by Self-Explaining
Current AI research mainly treats explanations as a means for model inspection.
Learning Differentiable Logic Programs for Abstract Visual Reasoning
However, due to the memory intensity, most existing approaches do not bring the best of the expressivity of first-order logic, excluding a crucial ability to solve abstract visual reasoning, where agents need to perform reasoning by using analogies on abstract concepts in different scenarios.
V-LoL: A Diagnostic Dataset for Visual Logical Learning
Despite the successes of recent developments in visual AI, different shortcomings still exist; from missing exact logical reasoning, to abstract generalization abilities, to understanding complex and noisy scenes.
Neural Meta-Symbolic Reasoning and Learning
To make deep learning do more from less, we propose the first neural meta-symbolic system (NEMESYS) for reasoning and learning: meta programming using differentiable forward-chaining reasoning in first-order logic.
LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems
Text-to-image models have recently achieved remarkable success with seemingly accurate samples in photo-realistic quality.
Neuro-Symbolic Forward Reasoning
NSFR factorizes the raw inputs into the object-centric representations, converts them into probabilistic ground atoms, and finally performs differentiable forward-chaining inference using weighted rules for inference.
Differentiable Inductive Logic Programming for Structured Examples
Our framework can be scaled to deal with complex programs that consist of several clauses with function symbols.
Metric Learning for Ordered Labeled Trees with pq-grams
In order to perform metric learning based on pq-grams, we propose a new differentiable parameterized distance, weighted pq-gram distance.
