Proof Scaling Meeting in Berkeley

Stream: Machine Learning for Theorem Proving

[Quinn]

If you're reading this, you're welcome to fill out the pre-rsvp form for a 2 day meeting on proof scaling and automation https://docs.google.com/forms/d/e/1FAIpQLSfhRMQTfqe5ThR-S0jHRRmY_eUrNEgrpSsQJN7HtJjsZ__gFg/viewform?usp=sf_link though filling it out does not guarantee you a spot. Full description is in the form. I'll post keynotes as soon as they confirm.

[Quinn]

This is a go for December 5-6 -- please DM me if you're interested in attending