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.
☆44Sep 18, 2025Updated last year
Alternatives and similar repositories for AI-Hilbert
Users that are interested in AI-Hilbert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Machine learning algorithms for discovering dimensionless groups from simulation and experimental data☆19Oct 12, 2022Updated 4 years ago
- This script converts Gemini history data exported via Google Takeout (default: MyActivity.json) into sequential Markdown files (default: …☆13Jun 2, 2026Updated 4 months ago
- Edge AI add-on☆20Oct 23, 2026Updated last week
- Conway's Game of Life screensaver for Onyx Boox Android devices☆11Oct 23, 2026Updated last week
- Prior Sampling for high dimension data with domain knowledge.☆10Jan 11, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GPU-amenable PDE solver for signature kernels in JAX☆13May 8, 2024Updated 2 years ago
- ☆17Jul 7, 2026Updated 3 months ago
- HOPE: High-order Polynomial Expansion of Black-box Neural Networks☆11May 20, 2024Updated 2 years ago
- Lightweight, explainable VAD that beats Silero and WebRTC on noisy audio. No GPU required.☆12Jul 24, 2026Updated 3 months ago
- Package for the Rigorous Computation of Invariant Measures☆12Oct 22, 2026Updated last week
- SymDer: Symbolic Derivative Approach to Discovering Sparse Interpretable Dynamics from Partial Observations☆27Aug 12, 2022Updated 4 years ago
- nRF54L15 Discovery board for low-power BLE prototyping☆17Jul 29, 2026Updated 3 months ago
- Published in Nature Communications: Bridging known and unknown dynamics by transformer-based machine-learning inference from sparse obser…☆11Oct 31, 2025Updated last year
- Well-documented Julia functions to return the growth factor, linear and non-linear power spectra, and variance of cosmological matter den…☆13Sep 24, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Investigation of biases on the parameters of GW sources in LISA and the Einstein Telescope from confusion noise of other resolved or unre…☆10Aug 19, 2021Updated 5 years ago
- End-to-end deep learning pipeline for gravitational-wave signal detection☆12Updated this week
- Learn how to use OpenML for reproducible, collaborative machine learning projects☆15Oct 8, 2026Updated 3 weeks ago
- JS/TS SDK for handling (extensible) events in Matrix☆10Jan 13, 2023Updated 3 years ago
- NeuralDMD for Imaging from Sparse Observations☆12Jul 9, 2025Updated last year
- Tutorial for paper "Flexible Gravitational-Wave Parameter Estimation with Transformers"☆15Jun 24, 2026Updated 4 months ago
- ☆11Feb 9, 2024Updated 2 years ago
- Codes to compute the WDM wavelet transform☆12Oct 20, 2020Updated 6 years ago
- A pytorch version of hamiltonian monte carlo☆14Jun 26, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Gravitational Wave dEtector desigN Toolkit☆23Jan 22, 2026Updated 9 months ago
- ☆19Dec 26, 2024Updated last year
- Web3Native Tinkerable Wiki bootstrapping the IndyVerse☆10Apr 12, 2022Updated 4 years ago
- BiomedBench is a benchmark suite of biomedical applications targeting low-power wearables☆13Sep 26, 2024Updated 2 years ago
- Codes to reproduce results in the paper☆10Apr 9, 2021Updated 5 years ago
- Second Open Gravitational-wave Catalog of Compact Binary Mergers. Parameter estimates for O1 and O2 mergers. Sub-threshold BNS/NSBH/BBH c…☆11Jun 19, 2021Updated 5 years ago
- This repository contains the files used in the paper " Reduced-order Model for Fluid Flows via Neural Ordinary Differential Equations"☆20Mar 23, 2023Updated 3 years ago
- Extension of almaBTE's Monte Carlo code beyond the relaxation-time approximation.☆10Sep 24, 2023Updated 3 years ago
- My PhD Thesis (HTML)☆14Jan 29, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Clean Line☆18Feb 7, 2025Updated last year
- Gravitational wave interferometer parameter optimisation game, written in Python and run in a Jupyter notebook.☆10Dec 18, 2018Updated 7 years ago
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago
- KENN - A Transformer Encoder for Gravitational Waves☆13Sep 29, 2025Updated last year
- Repository for DTU Special Course, focusing on Variational Inference using Normalizing Flows (VINF). Supervised by Michael Riis Andersen☆27Jun 11, 2020Updated 6 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12Apr 3, 2026Updated 6 months ago
- Inference on gravitational waves compact object coalescence based on likelihood factorization, sampling and matrix multiplication☆14Oct 5, 2026Updated 3 weeks ago