04:00
2026-08-19
arxiv.org
machine-learning
Backward through Time, Algebraically
A new arXiv paper (2608.17087v1) introduces telos, a PyTorch library providing an algebra-generic, differentiable evaluation engine for linear temporal logic, enabling gradient-based training of softl…