Person

Mykel Kochenderfer

1:37:07AI Safety Fact vs. Fiction | YC Paper ClubY Combinator · 2026-10-17YC’s AI safety panel challenges “10% doom” claims and shows how Lean proofs and stress testing can improve software security.