slides on autoformalisation

Stream: Machine Learning for Theorem Proving

[Anthony Bordg]

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.