Brayden Zhong

Website

github.com

Speaking appearances

• 90/30 Club (ML reading) #44: Goedel-Prover: Frontier Models for Automated Theorem Proving 2026-03-17 — San Francisco
• 🇨🇦 CANADIANS SAVE THE AIR SHOW PARTY 🇨🇦 2025-10-12 — San Francisco
• Why Everyone Gets “Open-Source AI” Wrong 2025-10-08 — San Francisco