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.
☆27Updated 7 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
- Turning SymPy expressions into JAX functions☆44Updated 3 years ago
- Code for Lie Symmetries SSL paper☆19Updated 11 months ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆32Updated 11 months ago
- Benchmark for learning stiff problems using physics-informed machine learning☆11Updated 3 years ago
- A simple algorithm that finds a simultaneous block diagonalization of multiple matrices through the eigendecomposition of a single matrix…☆16Updated 3 years ago
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆41Updated 4 months ago
- Code for the paper "Variational Monte Carlo Approach to Partial Differential Equations with Neural Networks" (https://arxiv.org/abs/2206.…☆10Updated 2 years ago
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- ☆36Updated 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
- 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
- Efficient Differentiable n-d PDE solvers in JAX.☆24Updated 3 months ago
- Fully and Partially Bayesian Neural Nets☆59Updated this week
- Matrix-free linear algebra in JAX.☆115Updated last month
- Bayesian inference with Python and Jax.☆32Updated 2 years 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
- Code for the book "The Elements of Differentiable Programming".☆73Updated 3 weeks ago
- Intuitive scientific computing with dimension types for Jax, PyTorch, TensorFlow & NumPy☆82Updated this week
- A collection of graph neural networks implementations in JAX☆31Updated last year
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆49Updated last year
- Repository for Deterministic Particle Flow Control framework☆10Updated 2 years ago
- Stencil computations in JAX☆70Updated last year
- A curated list of awesome Scientific Machine Learning (SciML) papers, resources and software☆48Updated last year
- ☆70Updated 6 months ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆42Updated last year
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆37Updated last year
- Website for the book "The Elements of Differentiable Programming".☆13Updated 5 months ago
- ☆17Updated 4 months ago
- ☆31Updated last year