A PyTorch Package for Learning with Requirements
☆21Jul 7, 2026Updated last month
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"☆21Apr 15, 2025Updated last year
- ☆16Oct 6, 2023Updated 2 years ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆18Feb 2, 2024Updated 2 years ago
- Code for experiments in 'Primal Dual Formulation For Deep Learning With Constraints'☆23Oct 26, 2019Updated 6 years ago
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated 2 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.
- Implementation of "SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning". SALSA-CLRS is an extension to the original clr…☆22Nov 21, 2023Updated 2 years ago
- KENN: Knowledge Enhanced Neural Networks☆12Sep 11, 2020Updated 5 years ago
- Code related to the paper "Asynchronous Batch Bayesian Optimisation with Improved Local Penalisation"☆13May 8, 2019Updated 7 years ago
- ☆14Apr 12, 2026Updated 3 months ago
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- ☆11Mar 7, 2023Updated 3 years ago
- Keep track of what you're doing and the people in your life☆18Jul 7, 2020Updated 6 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- ☆20Sep 14, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Dec 5, 2015Updated 10 years ago
- This repository contains the code and slides associated with the Sargent Centre PSE Summer School on Bayesian Optimization held in Septem…☆16Sep 2, 2024Updated last year
- Supervised Local Modeling for Interpretability☆29Oct 27, 2018Updated 7 years ago
- Custom Keras ML block example for Edge Impulse☆12Jul 27, 2026Updated 2 weeks ago
- A collection of molecular optimisers and property calculators for use with stk.☆24May 18, 2026Updated 2 months ago
- A simple, highly customizable analog clock widget. This widget enables you to customize the clock's background, dial, markings, and hands…☆15Dec 29, 2022Updated 3 years ago
- a powerful Note app for iPad☆18Jun 14, 2017Updated 9 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- 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.
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆62May 1, 2026Updated 3 months ago
- ML-guided visual inspection for molecular docking☆22Jun 3, 2025Updated last year
- Bayesian optimization for chemistry☆19Mar 20, 2024Updated 2 years ago
- slides and examples from talks☆19Jun 14, 2018Updated 8 years ago
- Python code for the paper Bayesian Optimization of Nanoporous Materials.☆24Mar 3, 2023Updated 3 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 7 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- Few-shot machine learning for low-data drug discovery.☆20Jun 24, 2022Updated 4 years ago
- Extract structure-functions from data using XAI and LLMs☆27Jan 20, 2025Updated last year
- 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.
- Fast, pure and practical SHA-256 implementation☆25Apr 11, 2026Updated 4 months ago
- ☆27Aug 4, 2024Updated 2 years ago
- Ainari contains an experimental artificial neural network, which can work on unnormalized input-data in a cloud native environment.☆15Updated this week
- Code for paper "Multi-label Classification Neural Networks with Hard Logical Constraints"☆15Sep 6, 2022Updated 3 years ago
- ☆29Sep 13, 2024Updated last year
- How to get started with computational chemistry research. Directed to new people in our lab, may be useful in general.☆32Jun 4, 2018Updated 8 years ago
- Run context-aware commands from your source code comments☆35Jan 14, 2025Updated last year