Live page · Day archive

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

Read the original at arXiv

Summary

From arXiv.

Carried by: arXiv, HF Daily Papers. First seen: .