SF Lean Meetup

Di., 4. Aug.

04:00 – 06:00

Über die Veranstaltung

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.

Von Somo gefunden·Original ansehen

Ort

Mox, 1680 Mission St, San Francisco, CA 94103, USA

Details

Datum

Di., 4. Aug.

Uhrzeit

04:00 - 06:00

Ort

Auf dem Handy öffnen

Mit der Kamera scannen – die Veranstaltung öffnet sich in der Somo-App.

Diese Woche in 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