IBM / AI-Hilbert
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.
☆26Updated 6 months ago
Alternatives and similar repositories for AI-Hilbert:
Users that are interested in AI-Hilbert are comparing it to the libraries listed below
- A paper describing the implementation of PySR and SymbolicRegression.jl☆54Updated 11 months ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆32Updated 10 months ago
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆25Updated 2 years ago
- Repository for Deterministic Particle Flow Control framework☆10Updated 2 years ago
- A software package for flexible HPC GPs☆14Updated 2 months ago
- Turning SymPy expressions into JAX functions☆43Updated 3 years ago
- ☆30Updated 2 years ago
- Benchmark for learning stiff problems using physics-informed machine learning☆11Updated 3 years ago
- ☆55Updated 5 months ago
- Reduced-order modelling using an atlas of charts☆24Updated 2 years ago
- ☆36Updated last year
- kramersmoyal: Kramers-Moyal coefficients for stochastic data of any dimension, to any desired order☆69Updated last month
- Example code for paper: Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributio…☆54Updated 2 years ago
- ☆30Updated last year
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆42Updated last year
- Bayesian inference with Python and Jax.☆32Updated 2 years ago
- Efficient Differentiable n-d PDE solvers in JAX.☆23Updated 2 months ago
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- CTF workshop deep learning tutorial and hackathon☆12Updated last year
- Code for Lie Symmetries SSL paper☆19Updated 10 months ago
- Deterministic particle dynamics for simulating Fokker-Planck probability flows☆24Updated last year
- ☆15Updated 3 months ago
- ☆27Updated 2 weeks ago
- Riemannian Optimization Using JAX☆48Updated last year
- ☆19Updated 2 years ago
- ☆14Updated 2 years ago
- Multiple dispatch over abstract array types in JAX.☆114Updated this week
- Open source package for accelerated symbolic discovery of fundamental laws.☆105Updated 11 months ago
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆38Updated 3 months ago
- Differentiable interface to FEniCS for JAX☆52Updated 3 years ago