PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

Published Oct 22, 2026Fresh — added to the Hub within the last 30 daysv1

Publication details

AI contributions

Not recorded for this paper

Ancillary data

1 code link

Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

Oct 29, 2026

PUBLISHED

v1CURRENT

Oct 27, 2026

PUBLISHED

comparev1 ▾→v2 ▾text, figures, and checks side by sidecompare →