SF Lean Meetup
Join us for this week's SF Lean Meetup featuring Vasily Ilin presenting on "Formalizing all math. Autonomously and reliably".
🤖 Dive into discussions about Lean, the programming language and theorem prover.
📚 All topics related to Math, Computer Science, and AI are welcome! Beginners are encouraged to join!
💬 Connect with us on our Discord Server.
Mox, 1680 Mission St, San Francisco, CA 94103, USA
VeibeskrivelseSkann med kameraet – arrangementet åpnes i Somo-appen.
Lignende arrangementer
Denne uken i San Francisco
9030 club reading "Reinforcement Learning via Self-Distillation": #63 - ML Paper Reading Group
3. AUG
Frank Lantz: Games All the Way Down
4. AUG
Stem Cells to Eggs Cells: Fireside Chat with CEO of Conception, Matt Krisiloff
6. AUG
Project Imago Dei: Why do Christians Matter for AI Safety?
1. AUG
Club Blush: An Ethereal & Euphoric Dance Night
31. JUL