90/30 Club (ML reading) #44: Goedel-Prover: Frontier Models for Automated Theorem Proving
- Date
- 2026-03-17
- Location
- San Francisco, CA, USA
- Host
- Community
About this event
This event is organized by Community, taking place in San Francisco, USA on 2026-03-17. Topics covered include: other, ml, autonomy, community, networking.