Mar 7, 2026 · 3 min
Availability of TensorLogic 0.1.0-rc.1 — Logic as Tensor Equations in Pure Rust
A minimal DSL + IR that compiles logical rules (predicates, quantifiers, implications) into optimized einsum graphs. Full neurosymbolic integration with differentiable fuzzy/probabilistic semantics — now available as 0.1.0-rc.1.
releasetensorlogicneurosymbolic