Stream: Machine Learning for Isabelle

Topic: autoformalization

view this post on Zulip Anthony Bordg (Oct 23 2019 at 10:24):

It could be interesting to discuss Christian Szegedy's paper A Promising Path Towards Autoformalization and General Artificial Intelligence.
Szegedy_Autoformalization.pdf .

Last updated: Aug 20 2025 at 20:23 UTC