Stream: General

Topic: autoformalisation

view this post on Zulip Anthony Bordg (Nov 22 2022 at 14:15):

Recently, I wrote two sets of slides for presenting our work at Cambridge in relation to autoformalisation:

  1. Machine Learning and Autoformalisation
  2. A Parallel Corpus for Autoformalisation.

The handouts share a large intersection, but the introductions and perspectives are slightly different and complement each other.

Last updated: Nov 02 2025 at 01:49 UTC