55:16
published on June 12, 2026
ReLU and Softplus Neural Nets as Zero-Sum, Turn-Based, Stopping Games
By Yiannis Vlassopoulos
01:26:21
published on May 26, 2026
Ensuring correctness of probabilistic inference by static analysis
By Xavier Rival