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

Speakers

• Robert Neuhaus
• Luke
• James Murdza
• JD Murdza
• Ryo Sakai
• Dastin Huang
• Dineth Ratnayake
• Dhananjay (Dj)
• Stephan Gazarov
• Brayden Zhong
• Oscar Hong

Topics

• other
• ml
• autonomy
• community
• networking

Registration

Register / Get tickets