about
blog
publications

formal-verification

an archive of posts with this tag

Apr 10, 2026	pdf-to-Lean: Automatically Formalizing Mathematics from Textbooks

© Copyright 2026 Chenyang An. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash.