IBM / AI-HilbertLinks
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.
☆32Updated 11 months ago
Alternatives and similar repositories for AI-Hilbert
Users that are interested in AI-Hilbert are comparing it to the libraries listed below
Sorting:
- A paper describing the implementation of PySR and SymbolicRegression.jl☆58Updated last year
- ☆18Updated 8 months ago
- Efficient Differentiable n-d PDE solvers in JAX.☆40Updated 7 months ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆112Updated 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
- Introduction to JAX Workshop @ ETH Zurich, 25 June 2024☆36Updated 2 months ago
- Code to accompany the paper "Discovery of Physics from Data: Universal Laws and Discrepancies"☆27Updated 5 years ago
- Code for Lie Symmetries SSL paper☆22Updated last year
- Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…☆49Updated 2 months ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆41Updated last year
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆128Updated 9 months ago
- A software package for flexible HPC GPs☆16Updated this week
- Bayesian inference with Python and Jax.☆32Updated 2 years ago
- Minimal JAX implementation of k-nearest neighbors using a k-d tree.☆41Updated last week
- ☆38Updated 3 years ago
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- Differentiable interface to FEniCS for JAX☆54Updated 4 years ago
- Benchmark for learning stiff problems using physics-informed machine learning☆12Updated 3 years ago
- ☆30Updated 2 years ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆52Updated 2 years ago
- Example code for paper: Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributio…☆56Updated 3 years ago
- ☆32Updated last year
- TorchFSM: Fourier Spectral Method with PyTorch☆44Updated 2 weeks ago
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- A generic interface for linear algebra backends☆73Updated 3 months ago
- Minimal Gaussian process library in JAX with a simple (custom) approach to state management.☆12Updated last year
- Materials related to the 2024-2025 mini course on Probabilistic Models and Bayesian Methods at the Faculty of Finance at Kharazmi Univers…☆21Updated 2 weeks ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆33Updated last year
- Repository for Deterministic Particle Flow Control framework☆10Updated 2 years ago