Verified C++20 tensor compiler/runtime with bounded graph execution, Mul/ReGLU workloads, independent verification, and reproducible evidence.
compiler reproducible-research inference systems-programming softmax graph-rewriting cpp20 machine-learning-systems numerical-computing tensor-compiler execution-runtime memory-planning reglu
-
Updated
Aug 10, 2026 - C++