Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: slides on autoformalisation
Anthony Bordg (Nov 22 2022 at 14:07):
Recently, I wrote two sets of slides for presenting our work at Cambridge in relation to autoformalisation:
The handouts share a large intersection, but the introductions and perspectives are slightly different and complement each other.
Last updated: Dec 20 2023 at 11:08 UTC