Mathematics
and Interactions

Keywords > controlled natural language

• Videos linked to controlled natural language
  

  58:14

  published on December 15, 2025

  Towards autoformalization of textbook mathematics with natural proof checking

  By De Lon Adrian

  More +