IBM / AI-HilbertLinks
AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundamental laws of nature (or non-physical systems) based on knowledge (articulated in formal logic terms) and experimental data.
☆32Updated last year
Alternatives and similar repositories for AI-Hilbert
Users that are interested in AI-Hilbert are comparing it to the libraries listed below
Sorting:
- A paper describing the implementation of PySR and SymbolicRegression.jl☆58Updated last year
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆41Updated last year
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆34Updated last year
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- Library for normalizing flows and neural flows.☆24Updated 3 years ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆52Updated 2 years ago
- Public code for running Stochastic Gradient Descent on GPs.☆39Updated 2 months ago
- Code to accompany the paper "Discovery of Physics from Data: Universal Laws and Discrepancies"☆27Updated 5 years ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆113Updated this week
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆43Updated last year
- You should use PySR to find scaling laws. Here's an example.☆33Updated last year
- kramersmoyal: Kramers-Moyal coefficients for stochastic data of any dimension, to any desired order☆74Updated 6 months ago
- ☆30Updated 2 years ago
- Matrix-free linear algebra in JAX.☆126Updated last month
- Deterministic particle dynamics for simulating Fokker-Planck probability flows☆25Updated 2 years ago
- Implementation of Forward Laplacian algorithm in JAX☆78Updated last month
- ☆18Updated 8 months ago
- [NeurIPS 2020] Task-Agnostic Amortized Inference of Gaussian Process Hyperparameters (AHGP)☆22Updated 4 years ago
- Riemannian Optimization Using JAX☆49Updated last year
- ☆18Updated 2 years ago
- Bayesian algorithm execution (BAX)☆49Updated 3 years ago
- Hamiltonian Dynamics with Non-Newtonian Momentum for Rapid Sampling☆36Updated 3 years ago
- Code for Lie Symmetries SSL paper☆22Updated last year
- Benchmark for learning stiff problems using physics-informed machine learning☆12Updated 3 years ago
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated last year
- Parallel random matrix tools and complexity for deep learning☆33Updated last year
- Fully and Partially Bayesian Neural Nets☆74Updated 2 months ago
- Recursive Bayesian Estimation (Sequential / Online Inference)☆59Updated last year
- ☆64Updated 11 months ago