A NeSy Framework for Learning with Requirements
☆20Feb 4, 2026Updated last month
Alternatives and similar repositories for PiShield
Users that are interested in PiShield are comparing it to the libraries listed below
Sorting:
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- Implementations of the renormalization group-based diffusion model (RGDM).☆16Mar 10, 2025Updated last year
- ☆16Jan 9, 2025Updated last year
- ☆12Sep 19, 2025Updated 5 months ago
- ☆13May 22, 2025Updated 9 months ago
- Experiments of the "Multi-Agent Trajectory Planning with NUV Priors" paper☆12Oct 14, 2024Updated last year
- Code related to the paper "Asynchronous Batch Bayesian Optimisation with Improved Local Penalisation"☆13May 8, 2019Updated 6 years ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- ☆11Feb 14, 2025Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated 2 weeks ago
- ☆13Jul 9, 2024Updated last year
- ☆11Sep 2, 2024Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- ☆20Oct 10, 2024Updated last year
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- This is a repository for the paper: "Sequence anticipation and spike-timing-dependent plasticity emerge from a predictive learning rule" …☆11Jun 2, 2024Updated last year
- [CVPR 2024] No More Ambiguity in 360° Room Layout via Bi-Layout Estimation☆17Oct 9, 2024Updated last year
- A realtime multicellular organism evolution simulator with Verlet integration☆12May 30, 2021Updated 4 years ago
- ☆10Mar 7, 2023Updated 3 years ago
- Automatic mesh generation.☆31Mar 2, 2026Updated last week
- ☆10Nov 5, 2016Updated 9 years ago
- SPM in Julia☆13Sep 1, 2023Updated 2 years ago
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)☆13Jun 11, 2025Updated 8 months ago
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 2 years ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- The SAIL blog☆13Feb 25, 2026Updated last week
- Lunai is a code-free, simple and easy to use GUI, reinforcement learning Ai☆13Apr 12, 2024Updated last year
- ☆12Aug 26, 2025Updated 6 months ago
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆22Feb 27, 2026Updated last week
- Task 4 starter repo☆13Jul 17, 2024Updated last year
- Ainari contains an experimental artificial neural network, which can work on unnormalized input-data in a cloud native environment.☆13Mar 3, 2026Updated last week
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- ☆15Feb 9, 2026Updated last month
- Code for the paper 'Neural Variational Gradient Descent'. We perform nonparametric variational inference by transporting samples along a …☆12Jul 29, 2021Updated 4 years ago
- Tool to fetch, parse, and standardize materials data from various databases for LeMaterial.☆17Feb 26, 2026Updated last week
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆13Aug 5, 2018Updated 7 years ago