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.
☆35Updated last year
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
- ☆30Updated 3 years ago
- TorchFSM: Fourier Spectral Method with PyTorch☆48Updated last week
- Physics-inspired transformer modules based on mean-field dynamics of vector-spin models in JAX☆41Updated last year
- AI-driven discovery of new Gravitational Wave Detectors☆25Updated last year
- Hamiltonian Dynamics with Non-Newtonian Momentum for Rapid Sampling☆36Updated 3 years ago
- Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"☆52Updated 2 years ago
- ☆18Updated 10 months ago
- Turning SymPy expressions into JAX functions☆45Updated 4 years ago
- Code for "Nonlinear stochastic modeling with Langevin regression" J. L. Callaham, J.-C. Loiseau, G. Rigas, and S. L. Brunton☆26Updated 3 years ago
- Patched Attention for Nonlinear Dynamics☆156Updated last week
- Exact OU processes with JAX☆53Updated 5 months ago
- ☆22Updated 10 months ago
- ☆30Updated last year
- Intuitive scientific computing with dimension types for Jax, PyTorch, TensorFlow & NumPy☆92Updated this week
- ☆19Updated 2 years ago
- Code for Lie Symmetries SSL paper☆24Updated last year
- Code to accompany the paper "Discovery of Physics from Data: Universal Laws and Discrepancies"☆28Updated 5 years ago
- Flow Annealed Importance Sampling Bootstrap (FAB) with JAX.☆11Updated last year
- Einstein Fields official implementation in JAX.☆60Updated 3 weeks ago
- Tensor decomposition with arbitrary expressions: inner, outer, elementwise operators; nonlinear transformations; and more.☆58Updated 3 years ago
- Public code for running Stochastic Gradient Descent on GPs.☆39Updated 4 months ago
- ☆33Updated last year
- Bayesian algorithm execution (BAX)☆50Updated 4 years ago
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆35Updated last year
- A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations☆129Updated last year
- Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This …☆33Updated 4 months ago
- A library implementing the kernels for and experiments using extrinsic gauge equivariant vector field Gaussian Processes☆25Updated 3 years ago
- Supplementary code for the paper "Stationary Kernels and Gaussian Processes on Lie Groups and their Homogeneous Spaces"☆43Updated last year
- Fine-grained, dynamic control of neural network topology in JAX.☆21Updated 2 years ago