Evaluation of LLMs for Mathematical Formalization in Lean 文章

ArXiv CS.AI2026-06-06NEWSen作者: Tyson Klingner, Drew Bladek, Escher Crawford, Bohao Chen, Ariel Fu, Kaira Nair, Jarod Alper, Giovanni Inchiostro, Vasily Ilin