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.
☆42Updated 4 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☆66Updated 2 years ago
- Einstein Fields official implementation in JAX.☆69Updated 5 months ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆57Updated 2 years ago
- Patched Attention for Nonlinear Dynamics☆167Updated last month
- Open source package for accelerated symbolic discovery of fundamental laws.☆121Updated 4 months ago
- AI-driven discovery of new Gravitational Wave Detectors☆25Updated 2 years ago
- TorchFSM: Fourier Spectral Method with PyTorch☆53Updated last week
- Code for Lie Symmetries SSL paper☆23Updated last year
- ☆30Updated 3 years ago
- code for "Neural Conservation Laws A Divergence-Free Perspective".☆42Updated 3 years ago
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆132Updated 2 weeks ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆38Updated last year
- ☆18Updated last year
- [NeurIPS 2020] Task-Agnostic Amortized Inference of Gaussian Process Hyperparameters (AHGP)☆23Updated 5 years ago
- Bayesian algorithm execution (BAX)☆55Updated 4 years ago
- Learning Green's functions of partial differential equations with deep learning.☆71Updated 2 years ago
- Intuitive scientific computing with dimension types for Jax, PyTorch, TensorFlow & NumPy☆94Updated this week
- ☆23Updated last year
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- ☆31Updated last year
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆46Updated 2 years ago
- Automatic Functional Differentiation in JAX☆81Updated 4 months ago
- ☆35Updated 2 years ago
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Updated 3 years ago
- ☆10Updated 2 years ago
- Benchmark for learning stiff problems using physics-informed machine learning☆12Updated 4 years ago
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆27Updated 3 years ago
- Code for paper "Multiple Physics Pretraining for Physical Surrogate Models☆186Updated last year
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated 2 years ago
- Fully and Partially Bayesian Neural Nets☆80Updated 9 months ago