Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics 文章

ArXiv CS.AI2026-06-17NEWSen作者: Xiyu Zhai, Xinyi Chen, Yiping Wang, Runlong Zhou, Liao Zhang, Simon S. Du