Auto-formalization for the working mathematician

Stream: Machine Learning for Theorem Proving

[Kim Morrison]

A follow-up to @Jarod Alper 's announcement message at #announce > ICERM: "Autoformalization for the Working Mathematician", about the ICERM workshop April 24-27.

If you're interested in this workshop, please contact one of the organizers (e.g. Jarod or me), as the official applications at https://icerm.brown.edu/program/hot_topics_workshop/htw-25-aftwm appear to have closed, but we may still be able to accommodate.

[Andy Jiang]

Will any of the talks be recorded?

[Jason Rute]

Did you say there was a channel for this?

[Jason Rute]

Also for easy search:

• autoformalization
• auto-formalization
• autoformalisation
• auto-formalisation

[Joe Zhou]

Do we have a channel for the workshop?

[Junyan Xu]

Andy Jiang said:

Will any of the talks be recorded?

Several sessions has a "Video Available Soon" button:
image.png