Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
☆21Feb 2, 2024Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 6, 2023Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆23Oct 22, 2026Updated last week
- DeepLog: the PyTorch for neurosymbolic AI☆25Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- Sparse Circuits on the GPU (ICLR2025)☆29Oct 26, 2026Updated last week
- ☆11Jun 3, 2020Updated 6 years ago
- Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.☆12Mar 11, 2025Updated last year
- Interactive online editor for the cyclone specification language☆12Updated this week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- Code for paper: "Coherent Hierarchical Multi-Label Classification Networks"☆90May 4, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [ACM MM 2025] Official repository of paper "Waymo-3DSkelMo: A Multi-Agent 3D Skeletal Motion Dataset for Pedestrian Interaction Modeling …☆11Apr 9, 2026Updated 6 months ago
- Multi-label-image-classification with Multi-method CLIP☆25Apr 11, 2024Updated 2 years ago
- A comprehensive toolkit for converting drone-view autonomous driving datasets into standardized formats.☆13Aug 3, 2026Updated 2 months ago
- This repo contains the implementation of the intention and trajectory baselines trained and evaluated on our IDD-PeD dataset, along with …☆14Feb 18, 2026Updated 8 months ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Feb 25, 2020Updated 6 years ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 10 months ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- ☆18Sep 12, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is the official code for ViTE: Virtual Graph Trajectory Expert Router for Pedestrian Trajectory Prediction☆13Apr 3, 2026Updated 6 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Official code repository to the corresponding paper.☆29Sep 14, 2023Updated 3 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆378Nov 13, 2024Updated last year
- Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.☆12Oct 21, 2026Updated last week
- This is a small Gnome extension that adds the ability to reboot directly to the UEFI.☆12Aug 18, 2026Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆165Oct 16, 2026Updated 2 weeks ago
- The HighLo Engine is a free open source game engine made only by two very passionate programmers.☆21Sep 10, 2023Updated 3 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- A plugin for cytoscape.js that allows a user to create a custom toolbar to add next to a cytoscape core instance.☆19Apr 4, 2016Updated 10 years ago
- [ICRA 2025] Official implementation of "MonoTransmotion" in PyTorch.☆16Mar 28, 2025Updated last year
- Code for experiments in 'Primal Dual Formulation For Deep Learning With Constraints'☆23Oct 26, 2019Updated 7 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Implementing COP-Kmeans and PC-Kmeans☆14Apr 13, 2019Updated 7 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆79Sep 29, 2026Updated last month