Formalizing Mathematics at Scale 文章

ArXiv CS.AI2026-05-29NEWSen作者: Ahmad Rammal, Niket Patel, Fabian Gloeckle, Amaury Hayat, Julia Kempe, Remi Munos, Charles Arnal, Vivien Cabannes