It could be interesting to discuss Christian Szegedy's paper A Promising Path Towards Autoformalization and General Artificial Intelligence. Szegedy_Autoformalization.pdf .
Last updated: May 19 2024 at 01:13 UTC