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
- Riemannian Optimization Using JAX☆48Updated last year
- ☆49Updated 2 years ago
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆39Updated last year
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- Public code for running Stochastic Gradient Descent on GPs.☆36Updated 5 months ago
- Exact OU processes with JAX☆42Updated 2 weeks ago
- Bayesian inference with Python and Jax.☆32Updated 2 years ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆108Updated last year
- ☆61Updated 7 months ago
- Turning SymPy expressions into JAX functions☆44Updated 4 years ago
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- Deterministic particle dynamics for simulating Fokker-Planck probability flows☆24Updated 2 years ago
- Flow Annealed Importance Sampling Bootstrap (FAB) with JAX.☆10Updated 9 months ago
- Implementation of Forward Laplacian algorithm in JAX☆61Updated last month
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆28Updated last year
- Set of Lecture at Duke in 2018 by Lenka Zdeborova and Florent Krzakala "Statistical Physics For Optimization and Learning"☆16Updated 5 years ago
- Repository for Deterministic Particle Flow Control framework☆10Updated 2 years ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆33Updated last year
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆25Updated 3 years ago
- Code for the book "The Elements of Differentiable Programming".☆77Updated 2 weeks ago
- A generic interface for linear algebra backends☆73Updated last month
- A software package for flexible HPC GPs☆16Updated last month
- ☆19Updated 3 years ago
- A variational method for fast, approximate inference for stochastic differential equations.☆44Updated 6 years ago
- ☆30Updated 2 years ago
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆123Updated 6 months ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆49Updated last year
- ☆17Updated 5 months ago
- Example code for paper: Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributio…☆54Updated 2 years ago