Zinc presented at Stanford security seminar
Security in AI: Cryptographic approaches from 0.00 to 17:40
Solving word equations with Reinforcement Learning and black-box solvers from 2:45:20 to 17:40