A NeSy Framework for Learning with Requirements
☆21Jun 24, 2026Updated this week
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:
- ☆11Sep 2, 2024Updated last year
- KENN: Knowledge Enhanced Neural Networks☆12Sep 11, 2020Updated 5 years ago
- Learning label-specific features for multi-label classification (ICDM'15)☆14Sep 22, 2016Updated 9 years ago
- ☆14Apr 12, 2026Updated 2 months ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆18Feb 2, 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.
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- Minimal blockchain in Haskell☆13Oct 14, 2017Updated 8 years ago
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- ☆11Mar 7, 2023Updated 3 years ago
- Bayesian optimization for chemistry☆19Mar 20, 2024Updated 2 years ago
- ☆19Sep 14, 2022Updated 3 years ago
- Zooming Memory Based Initialization (ZoMBI) algorithm for discovery of optima within challenging needle-in-a-haystack (extreme data imbal…☆19Feb 14, 2024Updated 2 years ago
- Implementations of the renormalization group-based diffusion model (RGDM).☆15Mar 10, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Supervised Local Modeling for Interpretability☆29Oct 27, 2018Updated 7 years ago
- ☆11Dec 5, 2015Updated 10 years ago
- Custom Keras ML block example for Edge Impulse☆12Oct 15, 2025Updated 8 months 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
- A collection of molecular optimisers and property calculators for use with stk.☆24May 18, 2026Updated last month
- Official repository for BagPype - Biomolecular atomistic graph construction software in Python for proteins etc☆24Apr 16, 2024Updated 2 years ago
- Molecular size calculation based on ellipsoid fitting over N conformers☆17Jan 17, 2022Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆33Feb 10, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Automatic mesh generation.☆33Jun 22, 2026Updated last week
- [CVPR 2024] No More Ambiguity in 360° Room Layout via Bi-Layout Estimation☆17Oct 9, 2024Updated last year
- Code accompanying "Dynamic Predictive Coding: A Model of Hierarchical Sequence Learning and Prediction in the Neocortex"☆10Mar 2, 2025Updated last year
- [CVPR 2026 Main] MultiBanana: A Challenging Benchmark for Multi-Reference Text-to-Image Generation☆27Jun 7, 2026Updated 3 weeks ago
- Python code for the paper Bayesian Optimization of Nanoporous Materials.☆24Mar 3, 2023Updated 3 years ago
- Experiments of the "Multi-Agent Trajectory Planning with NUV Priors" paper☆12Oct 14, 2024Updated last year
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)☆13Jun 11, 2025Updated last year
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- 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.
- A postgres middleware for nickel.rs☆25Oct 18, 2019Updated 6 years 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
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- Ainari contains an experimental artificial neural network, which can work on unnormalized input-data in a cloud native environment.☆13Jun 9, 2026Updated 2 weeks ago
- multi-fidelity fusion toolbox with (MF) Bayesian optimization☆19Sep 20, 2024Updated last year