YC Paper Club hosts AI Safety night with two Stanford verification pioneers
ycombinator · x · 2026-10-05
Next YC Paper Club (Oct 7, 5-9pm, Mountain View) covers 'AI Safety' with two Stanford professors on methods to prove AI safety before release: Mykel Kochenderfer, co-director of the Stanford Center for AI Safety who led the ACAS X aircraft collision avoidance system; and Clark Barrett, co-creator of the cvc5 solvers and pioneer of neural network verification.
More from Companies & People
- Moonshots Podcast #295: Richard Socher on Recursive AI and You.com — RichardSocher · 2026-10-05
- OpenAI President Greg Brockman: humans must stay in control as AI ambition rises — haider1 · 2026-10-05
- 21 startups hiring now including Linear, PostHog, fal, Replit — many fully remote — nateliason · 2026-10-05
- Robotics startup Foundation sends cease & desist to reporter probing its $24M Pentagon claims — MarwaEldiwiny · 2026-10-05
- Cohere Labs to host talk on Building Trustworthy AI for Mathematics — Cohere_Labs · 2026-10-05
- Investor Stewart Alsop slams Anthropic for 80 pages of existential-risk disclosure in its S-1 — StewartalsopIII · 2026-10-05