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:
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆31Updated 2 years ago
- ☆48Updated 2 years ago
- Sparse Circuits on the GPU (ICLR2025)☆20Updated last month
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆71Updated last month
- ☆39Updated last year
- Neural Network Enumeration Tool☆34Updated 3 weeks ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 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…☆15Updated 3 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
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- Experimentation framework for Popper☆24Updated 6 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆144Updated last year
- ☆11Updated 5 years ago
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 6 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- VNN Neural Network Verification Competition 2021☆36Updated 4 years ago
- Neural Network Verification Software Tool☆137Updated last week
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 3 years ago
- Python library for working with Metric Temporal Logic (MTL)☆102Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆341Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆294Updated last year
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆207Updated last week
- ☆14Updated 2 years ago
- ☆309Updated 2 months ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆344Updated 2 weeks ago
- The Python PSDD Package☆19Updated 6 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Updated 2 years ago
- ☆36Updated last year