Mathematics
and Interactions
-
Videos linked to Computation and LanguageMore +
![ReLU and Softplus Neural Nets as Zero-Sum, Turn-Based, Stopping Games]()
55:16published on June 12, 2026ReLU and Softplus Neural Nets as Zero-Sum, Turn-Based, Stopping Games
By Yiannis Vlassopoulos
![Towards autoformalization of textbook mathematics with natural proof checking]()
58:14published on December 15, 2025Towards autoformalization of textbook mathematics with natural proof checking
By De Lon Adrian
