PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean By Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet · HF Daily Papers · Oct 22, 2026 HF Daily Papers' note score 5 Categories: Research