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 4 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 Lie Symmetries SSL paper☆19Updated 8 months ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆28Updated 8 months ago
- ☆45Updated 3 months ago
- ☆29Updated 10 months ago
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆34Updated 3 weeks ago
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆121Updated 2 months ago
- Example code for paper: Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributio…☆52Updated 2 years ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆48Updated last year
- Turning SymPy expressions into JAX functions☆42Updated 3 years ago
- The code enables to perform Bayesian inference in an efficient manner through the use of Hamiltonian Neural Networks (HNNs), Deep Neural …☆12Updated last year
- Intuitive scientific computing with dimension types for Jax, PyTorch, TensorFlow & NumPy☆75Updated this week
- Bayesian inference with Python and Jax.☆31Updated 2 years ago
- Reduced-order modelling using an atlas of charts☆24Updated 2 years ago
- ☆19Updated last month
- Benchmark for learning stiff problems using physics-informed machine learning☆10Updated 2 years ago
- Differentiable interface to FEniCS for JAX☆50Updated 3 years ago
- Datasets and code for results presented in the ProbConserv paper☆51Updated 5 months ago
- Exponential families for JAX☆56Updated this week
- Learning Green's functions of partial differential equations with deep learning.☆63Updated 10 months ago
- Recursive Bayesian Estimation (Sequential / Online Inference)☆58Updated 7 months ago
- Code for the Paper "Physics-Informed Gaussian Process Regression Generalizes Linear PDE Solvers"☆21Updated 6 months ago
- Set of Lecture at Duke in 2018 by Lenka Zdeborova and Florent Krzakala "Statistical Physics For Optimization and Learning"☆16Updated 4 years ago
- ☆30Updated 2 years ago
- Code for Characterizing Scaling and Transfer Learning Behavior of FNO in SciML☆37Updated last year
- ☆11Updated last month
- Neural Stochastic PDEs: resolution-invariant modelling of continuous spatiotemporal dynamics☆47Updated last year