Mathematics
and Interactions

De Lon Adrian

https://adelon.net/

Bonn
DE

• One video
  

  58:14

  published on December 15, 2025

  Towards autoformalization of textbook mathematics with natural proof checking

  By De Lon Adrian