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

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.