mihaela-stoian / PiShieldLinks
A NeSy Framework for Learning with Requirements
☆16Updated 3 weeks ago
Alternatives and similar repositories for PiShield
Users that are interested in PiShield are comparing it to the libraries listed below
Sorting:
- Topological Deep Learning☆292Updated this week
- Generative Flow Networks - GFlowNet☆282Updated this week
- TopoBench is a Python library designed to standardize benchmarking and accelerate research in Topological Deep Learning☆189Updated this week
- The boundary of neural network trainability is fractal☆217Updated last year
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆49Updated last week
- ☆176Updated 2 years ago
- Scalable Convex Neural Networks☆24Updated 5 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆157Updated 11 months ago
- Computing on Topological Domains☆241Updated this week
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆173Updated 2 years ago
- [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"☆78Updated 11 months ago
- A modular, easy to extend GFlowNet library☆290Updated last week
- A Python Library for Deep Probabilistic Modeling☆62Updated 11 months ago
- ☆230Updated this week
- Agustinus' very opiniated publication-ready plotting library☆69Updated 5 months ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆115Updated 3 weeks ago
- Python notebooks for a tutorial on neurosymbolic programming☆78Updated last year
- ☆56Updated 4 months ago
- Representation Learning on Topological Domains☆88Updated this week
- The Energy Transformer block, in JAX☆58Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆127Updated last year
- SR based on LLMs.☆114Updated 2 years ago
- Official Repository for LLAMBO "Large Language Models to Enhance Bayesian Optimization"☆90Updated 9 months ago
- ☆142Updated last week
- Pre-trained Gaussian processes for Bayesian optimization☆97Updated 5 months ago
- A curated list of topological deep learning (TDL) resources and links.☆266Updated last week
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- A paper describing the implementation of PySR and SymbolicRegression.jl☆60Updated last year
- Python wrapper for lean-gym☆12Updated 2 years ago
- [ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Lan…☆177Updated 2 months ago