Jun 9, 2026 · 8 min
TensorLogic 0.1.1 Released — Exact LTL Temporal Operators, GPU Autodiff, and Probabilistic Tensor Reasoning
This patch adds exact finite-trace LTL operators (Next/Until/Release/WeakUntil/StrongRelease), tape-based GPU autodiff on OxiCUDA, Monte Carlo + variational probabilistic execution, SPARQL-as-tensor evaluation, neural architecture search, and SVM kernels — all on the SciRS2 stack, all Pure Rust.
releasetensorlogicneurosymbolic