IBM / AI-Hilbert

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.
26Updated 4 months ago

Related projects

Alternatives and complementary repositories for AI-Hilbert