H
Howardism
Howardism · Vol. 03Plate I · No. 01

Autoformalization, tagged.

Notes3TagAutoformalizationOldest29 Sept 2026Newest26 Oct 2026

Every article tagged autoformalization, newest first.

  1. C01
    Library-Grade Formalization
    AI For MathematicsFormal MethodsResearch Community+2
    · 14′
  2. C02
    Statement Equivalence Checking
    Formal MethodsAutoformalizationEvaluation Methodology+1
    · 16′
  3. C03
    Statement Drift
    Formal MethodsAI For MathematicsEvaluation Methodology+1
    · 34′