Apr 27, 2026 · 7 min
TensorLogic 0.1.0 Released — The First Stable Logic-as-Tensor Compiler for Neurosymbolic AI
TensorLogic compiles logical rules (predicates, quantifiers, implications) into optimized einsum graphs for unified neural, symbolic, and probabilistic models. It now graduates from 0.1.0-rc.1 to its first stable 0.1.0 on an upgraded SciRS2 0.3.4 / OxiRS 0.2.2 / SkleaRS 0.1.0 / ToRSh 0.1.1 stack — fully Pure Rust, zero warnings, 6,397 tests at 100%.
releasetensorlogicneurosymbolic