Alex Krentsel at the SF Lean Meetup

Keep your plans in one place. Free account.

A weekly meetup with presentations and discussions about formal methods, software verification, AI, and math. Beginners are welcome.

AI summary · From the event listing

Speaker: Alex Krentsel Thank you Mox SF for hosting us! Mox is a coworking & community space for do-gooders in AI Safety. Check out our memberships here. The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome! Website: https://sflean.group/Join our Discord server: Join Discord Server

Mission District