mihaela-stoian / PiShieldView external linksLinks
A NeSy Framework for Learning with Requirements
☆20Feb 4, 2026Updated last week
Alternatives and similar repositories for PiShield
Users that are interested in PiShield are comparing it to the libraries listed below
Sorting:
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 5 months ago
- Implementations of the renormalization group-based diffusion model (RGDM).☆16Mar 10, 2025Updated 11 months ago
- ☆15Jan 9, 2025Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 4 months ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- ☆12May 22, 2025Updated 8 months ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- ☆11Feb 14, 2025Updated last year
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- GUI based Deep-learning Framework☆15Jan 7, 2019Updated 7 years ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- ☆10Mar 7, 2023Updated 2 years ago
- Interactive Theorem Proving course using HOL4☆12Jun 21, 2023Updated 2 years ago
- A realtime multicellular organism evolution simulator with Verlet integration☆12May 30, 2021Updated 4 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆23Dec 19, 2025Updated last month
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)☆13Jun 11, 2025Updated 8 months ago
- SPM in Julia☆13Sep 1, 2023Updated 2 years ago
- Automatic mesh generation.☆31Updated this week
- ☆10Nov 5, 2016Updated 9 years ago
- ☆17Oct 10, 2024Updated last year
- ☆15Updated this week
- Ainari contains an experimental artificial neural network, which can work on unnormalized input-data in a cloud native environment.☆13Feb 8, 2026Updated last week
- ☆12Aug 26, 2025Updated 5 months ago
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆21Nov 17, 2025Updated 2 months ago
- Code for the paper 'Neural Variational Gradient Descent'. We perform nonparametric variational inference by transporting samples along a …☆12Jul 29, 2021Updated 4 years ago
- Tinfoil client-side enclave and runtime verifier☆19Feb 8, 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
- Lunai is a code-free, simple and easy to use GUI, reinforcement learning Ai☆13Apr 12, 2024Updated last year
- focused ultrasound toolbox☆16Updated this week
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- Tool to fetch, parse, and standardize materials data from various databases for LeMaterial.☆16Jan 23, 2026Updated 3 weeks ago
- Task 4 starter repo☆13Jul 17, 2024Updated last year
- The SAIL blog☆13Updated this week
- ☆15Sep 20, 2022Updated 3 years ago
- Tutorial for the NASA ARSET training course: "Use of Solar Induced Fluorescence and LIDAR to Assess Vegetation Change and Vulnerability"☆19Nov 4, 2021Updated 4 years ago
- Uncertain Knowledge Graphs Embedding with BERT Pretrained Language Model☆17Oct 10, 2024Updated last year
- Repository for "Learning action-oriented models through active inference"☆12May 11, 2020Updated 5 years ago
- Topological Neural Networks go Persistent, Equivariant and Continuous☆15Jun 4, 2024Updated last year