Announcement_4

Created on July 11, 2025

2025

I gave an invited talk at NEC Laboratories Europe on “Autoformalisation and Symbolic Reasoning for Mathematical Reasoning”. [Link]