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.
☆30Updated 8 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 last year
- ☆17Updated 5 months ago
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆25Updated 3 years ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆107Updated last year
- Efficient Differentiable n-d PDE solvers in JAX.☆27Updated 5 months ago
- Code for Lie Symmetries SSL paper☆20Updated last year
- Benchmark for learning stiff problems using physics-informed machine learning☆11Updated 3 years ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆49Updated last year
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆46Updated last week
- Bayesian inference with Python and Jax.☆32Updated 2 years ago
- Example code for paper: Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributio…☆54Updated 2 years ago
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆27Updated last year
- Visualize, create, and operate on pytrees in the most intuitive way possible.☆45Updated 2 months ago
- ☆30Updated 2 years ago
- Turning SymPy expressions into JAX functions☆44Updated 4 years ago
- kramersmoyal: Kramers-Moyal coefficients for stochastic data of any dimension, to any desired order☆72Updated 3 months ago
- Code to accompany the paper "Discovery of Physics from Data: Universal Laws and Discrepancies"☆27Updated 4 years ago
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- Recursive Bayesian Estimation (Sequential / Online Inference)☆58Updated 11 months ago
- ☆31Updated last year
- The code enables to perform Bayesian inference in an efficient manner through the use of Hamiltonian Neural Networks (HNNs), Deep Neural …☆14Updated 2 years ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆42Updated last year
- Nonparametric Differential Equation Modeling☆53Updated last year
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆33Updated last year
- Fully and Partially Bayesian Neural Nets☆66Updated 3 weeks ago
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Updated 2 years ago
- ☆36Updated last year
- ☆61Updated 7 months ago
- A curated list of awesome Scientific Machine Learning (SciML) papers, resources and software☆51Updated last year