AboutAI
arXiv cs.AI
  • Official

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

This story is outside your 7-day window.

Back to Stories