Valency Hub
alphaFeedback
PDF

WorksComputer Science

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

Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet

Published Fresh — added to the Hub within the last 30 daysv2

Publication details
License
CC BY 4.0
Status
Published
AI contributions
Not recorded for this paper
View details
Ancillary data
1 code link
View
Versions

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

v2CURRENT
Oct 29, 2026
PUBLISHED
read this version
v1
Oct 27, 2026
PUBLISHED
read this version
comparev1 ▾→v2 ▾text, figures, and checks side by sidecompare →