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: Sep 13 2025 at 12:36 UTC