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.
☆25Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for AI-Hilbert
- A paper describing the implementation of PySR and SymbolicRegression.jl☆49Updated 9 months ago
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆24Updated 2 years ago
- Code for the book "The Elements of Differentiable Programming".☆63Updated 2 months ago
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- ☆44Updated 2 months ago
- A generic interface for linear algebra backends☆70Updated 4 months ago
- Intuitive scientific computing with dimension types for Jax, PyTorch, TensorFlow & NumPy☆74Updated last week
- Repository for Deterministic Particle Flow Control framework☆10Updated 2 years ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆28Updated 8 months ago
- ☆35Updated last year
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆34Updated 2 weeks ago
- Reduced-order modelling using an atlas of charts☆23Updated 2 years ago
- ☆10Updated 3 weeks ago
- Multiple dispatch over abstract array types in JAX.☆102Updated this week
- Learning function operators with neural networks.☆22Updated 2 months ago
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆120Updated last month
- Code for Lie Symmetries SSL paper☆19Updated 7 months ago
- Symbolic Identification of Non-linear Dynamics. The method generalizes the SINDy algorithm by combining sparse and genetic-programming-ba…☆72Updated 2 years ago
- A curated list of awesome Scientific Machine Learning (SciML) papers, resources and software☆38Updated 10 months ago
- Turning SymPy expressions into JAX functions☆42Updated 3 years ago
- Matrix-free linear algebra in JAX.☆103Updated 2 months ago
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆24Updated last year
- Scripts and notebooks to accompany the book Data-Driven Methods for Dynamic Systems☆80Updated 3 months ago
- A simple algorithm that finds a simultaneous block diagonalization of multiple matrices through the eigendecomposition of a single matrix…☆15Updated 3 years ago
- Datasets and code for results presented in the ProbConserv paper☆51Updated 4 months ago
- kramersmoyal: Kramers-Moyal coefficients for stochastic data of any dimension, to any desired order☆66Updated 9 months ago
- Differentiable interface to FEniCS for JAX☆50Updated 3 years ago
- Stencil computations in JAX☆66Updated last year
- The code enables to perform Bayesian inference in an efficient manner through the use of Hamiltonian Neural Networks (HNNs), Deep Neural …☆12Updated last year
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆41Updated last year