Autoformalization: A Tutorial for Everyone · Marcus Min

Name: Autoformalization: A Tutorial for Everyone · Marcus Min
Start: 2026-12-06T15:00:00-05:00
End: 2026-12-06T18:00:00-05:00
Location: Warren Weaver Hall (CIWW)

A tutorial on autoformalization, listed with Marcus Min and organized by Justin Asher.

AI summary · From the event listing

December 6, 2026 · 3 PM – 6 PM

Warren Weaver Hall (CIWW), New York · Free ·

Keep your plans in one place. Free account.

Website

Marcus Min is listed for a tutorial on autoformalization.

AI · From the event listing

NoHo

Hosted by Justin Asher