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.
☆37Updated last month
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☆61Updated last year
- Open source package for accelerated symbolic discovery of fundamental laws.☆115Updated last month
- ☆18Updated last year
- AI-driven discovery of new Gravitational Wave Detectors☆25Updated last year
- Einstein Fields official implementation in JAX.☆61Updated 2 months ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆37Updated last year
- Bayesian algorithm execution (BAX)☆51Updated 4 years ago
- Benchmark for learning stiff problems using physics-informed machine learning☆12Updated 3 years ago
- TorchFSM: Fourier Spectral Method with PyTorch☆50Updated last week
- ☆21Updated 2 years ago
- Stencil computations in JAX☆71Updated 2 years ago
- Parallel random matrix tools and complexity for deep learning☆33Updated last year
- ☆31Updated last year
- ☆30Updated 3 years ago
- Bibtex for various Python science and machine learning software☆33Updated 2 years ago
- Patched Attention for Nonlinear Dynamics☆158Updated last month
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- ☆34Updated last year
- Code for Lie Symmetries SSL paper☆24Updated last year
- Detecting binary black hole mergers in LIGO with neural networks☆18Updated last year
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆53Updated 2 years ago
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Updated 3 years ago
- SINDy (Sparse Identification of Nonlinear Dynamics) algorithms☆79Updated 2 years ago
- ☆10Updated 2 years ago
- Reconstructing shared causal drivers from noisy time series☆57Updated last year
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 4 years ago
- ☆22Updated last year
- Probabilistic programming framework for signal inference algorithms that operate regardless of the underlying grids and their resolutions☆37Updated last week
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆26Updated 3 years ago
- ☆112Updated 4 years ago