EGiunchiglia / ROAD-RLinks
Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
☆16Updated 2 years ago
Alternatives and similar repositories for ROAD-R
Users that are interested in ROAD-R are comparing it to the libraries listed below
Sorting:
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆31Updated 2 years ago
- ☆49Updated 2 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Updated last year
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- Sparse Circuits on the GPU (ICLR2025)☆20Updated last month
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Updated last year
- ☆39Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆71Updated last month
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 years ago
- ☆14Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Updated last year
- Python library for working with Metric Temporal Logic (MTL)☆102Updated 2 years ago
- ☆21Updated last week
- 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☆24Updated 6 months ago
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆208Updated 2 weeks ago
- Neural Network Verification Software Tool☆137Updated 2 weeks ago
- Neural Network Enumeration Tool☆34Updated 3 weeks ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Updated 4 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆343Updated last year
- CausalFlows: A library for Causal Normalizing Flows in Pytorch☆30Updated 9 months 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…☆15Updated 3 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 7 years ago
- ☆309Updated 3 months ago
- Neurosymbolic Library☆28Updated this week
- Mixed integer programming for computing lipschitz constants of ReLU Networks☆17Updated 2 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆133Updated this week
- ☆20Updated 2 years ago