A PyTorch Package for Learning with Requirements
☆21Jul 7, 2026Updated 3 months ago
Alternatives and similar repositories for PiShield
Users that are interested in PiShield are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆23Apr 15, 2025Updated last year
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆21Feb 2, 2024Updated 2 years ago
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated 2 years ago
- Source code for the deep learning models employed in OSAS study☆21Feb 9, 2023Updated 3 years ago
- KENN: Knowledge Enhanced Neural Networks☆12Sep 11, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Aug 25, 2023Updated 3 years ago
- Learning label-specific features for multi-label classification (ICDM'15)☆14Sep 22, 2016Updated 10 years ago
- A collection of VLMs papers, blogs, and projects, with a focus on VLMs in Autonomous Driving and related reasoning techniques.☆11Nov 16, 2024Updated last year
- 软考--系统架构设计师（软考高级）通过复习资料，包含2009-2018历年综合知识、案例分析真题与详细答案以及教材和整套教学视频。2018年相关资料作者近期正在持续更新。☆12Jan 26, 2024Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- code for "Self-supervised edge features for improved Graph Neural Network training", <arxivlink>☆24Dec 14, 2020Updated 5 years ago
- Supervised Local Modeling for Interpretability☆29Oct 27, 2018Updated 7 years ago
- (T-ASE 2024) LeTO: Learning Constrained Visuomotor Policy with Differentiable Trajectory Optimization☆18Oct 14, 2024Updated last year
- a module to calculate the MeSH similarity☆26Apr 13, 2021Updated 5 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.
- A collection of molecular optimisers and property calculators for use with stk.☆24May 18, 2026Updated 4 months ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆62May 1, 2026Updated 5 months ago
- Code accompanying "Dynamic Predictive Coding: A Model of Hierarchical Sequence Learning and Prediction in the Neocortex"☆10Mar 2, 2025Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 5 months ago
- Experiments of the "Multi-Agent Trajectory Planning with NUV Priors" paper☆12Oct 14, 2024Updated last year
- SPM in Julia☆12Sep 1, 2023Updated 3 years ago
- Repo for 'VLM-Auto: VLM-based Autonomous Driving Assistant with Human-like Behavior and Understanding for Complex Road Scenes'☆28Oct 10, 2024Updated 2 years ago
- This is a repository for the paper: "Sequence anticipation and spike-timing-dependent plasticity emerge from a predictive learning rule" …☆12Jun 2, 2024Updated 2 years ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 6 months ago
- Equivariant GNN for the prediction of atomic multipoles up to quadrupoles.☆30May 12, 2022Updated 4 years ago
- Code for the paper 'Neural Variational Gradient Descent'. We perform nonparametric variational inference by transporting samples along a …☆12Jul 29, 2021Updated 5 years ago
- A Python API for deploying deep neural networks for Neuroimaging research. Powered by IMG at Stevens Neuroimaging and Informatics Institu…☆37Sep 13, 2021Updated 5 years ago
- On efficient computation in active inference☆17May 31, 2024Updated 2 years ago
- The official code and model for ACL 2023 paper 'mCLIP: Multilingual CLIP via Cross-lingual Transfer'☆10Jan 23, 2024Updated 2 years ago
- ☆12Aug 26, 2025Updated last year
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Repository for "Learning action-oriented models through active inference"☆12May 11, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 3 years ago
- Advancement at the intersection of cognitive science, temporal knowledge graphs, database systems, and AI.☆15Sep 27, 2026Updated 2 weeks ago
- A realtime multicellular organism evolution simulator with Verlet integration☆13May 30, 2021Updated 5 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- Pytorch Implementation of RL algorithms☆15Feb 26, 2018Updated 8 years ago
- Code related to the ELM neuron.☆17Feb 27, 2024Updated 2 years ago
- Reference Implementation of In-Hand Object Rotation for Allegro Hand Platforms☆18Aug 13, 2026Updated last month