ema-marconato / reasoning-shortcutsLinks
Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
☆21Updated last year
Alternatives and similar repositories for reasoning-shortcuts
Users that are interested in reasoning-shortcuts are comparing it to the libraries listed below
Sorting:
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆128Updated last year
- The Neuro-Symbolic Forward Reasoner☆24Updated 2 years ago
- ☆46Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated 2 years ago
- ☆35Updated 7 months ago
- Code for the paper "Pretraining task diversity and the emergence of non-Bayesian in-context learning for regression"☆21Updated 2 years ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆32Updated 2 years ago
- Neural Logic Inductive Learning☆44Updated 3 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆22Updated last year
- ☆10Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 5 months ago
- ☆34Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 6 months ago
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆115Updated 3 weeks ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- The official repository for our paper "Are Neural Nets Modular? Inspecting Functional Modularity Through Differentiable Weight Masks". We…☆46Updated last year
- ☆22Updated 3 years ago
- ☆24Updated 4 years ago
- ☆19Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆121Updated 10 months ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆32Updated 2 years ago
- Experiments and code to generate the GINC small-scale in-context learning dataset from "An Explanation for In-context Learning as Implici…☆108Updated last year
- Efficient empirical NTKs in PyTorch☆22Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution☆26Updated 4 years ago
- Package for defining computation graphs and performing intervention experiments☆14Updated 3 years ago
- Align your LM to express calibrated verbal statements of confidence in its long-form generations.☆27Updated last year
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆51Updated last year