55:16
publiée le 12 juin 2026
ReLU and Softplus Neural Nets as Zero-Sum, Turn-Based, Stopping Games
De Yiannis Vlassopoulos
01:26:21
publiée le 26 mai 2026
Ensuring correctness of probabilistic inference by static analysis
De Xavier Rival