EGiunchiglia / ROAD-RLinks
Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
☆16Updated last year
Alternatives and similar repositories for ROAD-R
Users that are interested in ROAD-R are comparing it to the libraries listed below
Sorting:
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆22Updated last year
- ☆48Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 6 years ago
- Python package for Sentential Decision Diagrams (SDD)☆67Updated 2 weeks ago
- Neurosymbolic Library☆27Updated 3 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆321Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆133Updated last year
- 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…☆15Updated 3 years ago
- Sparse Circuits on the GPU (ICLR2025)☆19Updated last week
- Neural Network Enumeration Tool☆34Updated 2 weeks ago
- A curated paper list on neural symbolic and probabilistic logic.☆130Updated 2 years ago
- ☆300Updated 3 weeks ago
- VNN Neural Network Verification Competition 2021☆36Updated 4 years ago
- Neural Network Verification Software Tool☆132Updated last week
- The Neuro-Symbolic Forward Reasoner☆26Updated 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…☆87Updated last year
- Experimentation framework for Popper☆23Updated 4 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆22Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆276Updated last year
- ☆38Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆202Updated this week
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆28Updated 4 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆327Updated 9 months ago
- ☆40Updated 5 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- ☆19Updated 2 years ago