EGiunchiglia / ROAD-R
Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
☆12Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for ROAD-R
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆26Updated 11 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Experimentation framework for Popper☆20Updated 6 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated last year
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- ☆40Updated last year
- ☆35Updated 2 weeks ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆16Updated 8 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆62Updated 7 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 6 months ago
- Neurosymbolic Library☆21Updated last week
- ☆40Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆90Updated last month
- Python package for Sentential Decision Diagrams (SDD)☆54Updated 3 weeks ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks☆13Updated last year
- Neural Network Enumeration Tool☆34Updated last year
- ☆26Updated 9 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 2 years ago
- ☆16Updated 5 years ago
- Fourth edition of VNN COMP (2023)☆16Updated last year
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 3 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆13Updated 2 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆83Updated 4 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆80Updated this week
- Scalable training and inference for Probabilistic Circuits☆49Updated last week
- ☆24Updated 3 years ago
- A collection of commonly used datasets as benchmarks for density estimation☆24Updated 4 years ago