☆14Oct 27, 2023Updated 2 years ago
Alternatives and similar repositories for NASR
Users that are interested in NASR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RuDaS: Synthetic Datasets for Rule Learning☆19Jun 21, 2022Updated 3 years ago
- The Python PSDD Package☆18Jul 20, 2025Updated 8 months ago
- ☆16Feb 1, 2022Updated 4 years ago
- Official code for NeurIPS paper "Combinatorial Optimization for Panoptic Segmentation: A Fully Differentiable Approach".☆16Jun 30, 2022Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Label images with a mouse click, within a Jupyter Notebook☆15Feb 11, 2023Updated 3 years ago
- Pytorch Implementation of MuZero for gym environment. It support any Discrete , Box and Box2D configuration for the action space and obse…☆19Jan 24, 2023Updated 3 years ago
- ☆16Oct 6, 2023Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆155Oct 2, 2024Updated last year
- ☆18Jul 24, 2023Updated 2 years ago
- Visual Concept Connectome☆15Jun 23, 2024Updated last year
- ☆10May 24, 2021Updated 4 years ago
- ☆18Sep 15, 2020Updated 5 years ago
- PyTorch code of our KG-SP method for Compositional Zero-Shot Learning☆12Aug 10, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆26Feb 24, 2024Updated 2 years ago
- Generating global explanations from local ones☆11Nov 11, 2022Updated 3 years ago
- ☆11Oct 29, 2024Updated last year
- ☆11Oct 21, 2023Updated 2 years ago
- Heterogeneous Model Reuse via Optimizing Multiparty Multiclass Margin☆11Jan 15, 2020Updated 6 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- Improving neural network representations using human similarity judgments☆13Nov 22, 2024Updated last year
- ☆12Feb 9, 2024Updated 2 years ago
- A weak supervision framework for (partial) labeling functions☆16Jul 15, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for the paper "Unlocking Slot Attention by Changing Optimal Transport Costs"☆13Sep 19, 2023Updated 2 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".☆13Oct 13, 2021Updated 4 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- LaTeX source code for the slides☆24Jul 15, 2021Updated 4 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- ☆16Oct 17, 2024Updated last year
- code for the paper Imitation Learning from Observation with Automatic Discount Scheduling☆13Mar 27, 2024Updated 2 years ago
- Repository for Nature Communications paper entitled "Sleep-like Unsupervised Replay Reduces Catastrophic Forgetting in Artificial Neural …☆15Oct 28, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Demonstration project for Java analysis☆14Aug 1, 2024Updated last year
- Colorschemes for Sup☆14Apr 24, 2014Updated 11 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆333Updated this week
- [VISAPP 2024] Official implementation of "End-to-End Chess Recognition".☆26Mar 5, 2024Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago