Presented by
NYC Lean
Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.
Hosted By
6 Going
Autoformalization: A Tutorial for Everyone · Marcus Min
Registration
About Event
Tutorial by Marcus Min (marcusm117.github.io): Autoformalization: A Tutorial for Everyone
Marcus will give a comprehensive tutorial on autoformalization, covering its history, methods, and current status, as well as recent progress and future directions.
Schedule: 3:00–3:30 PM introductions · 3:30–4:30 PM talk · 4:30–6:00 PM social
First time at NYC Lean? Please register with your real first and last name: NYU checks every visitor against a guest list. If you have registered for an NYC Lean meetup before, you should already be on the list.
More at lean.nyc/calendar
Location
Presented by
NYC Lean
Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.
Hosted By
6 Going