Characterizing initial human-AI proof formalization workflows 文章
ArXiv CS.AI2026-06-04NEWSen作者: Katherine M. Collins, Simon Frieder, Jonas Bayer, Jacob Loader, Jeck Lim, Peiyang Song, Fabian Zaiser, Lexin Zhou, Shanda Li, Sam Looi, Joshua B. Tenenbaum, Umang Bhatt, Adrian Weller, Jose Hernandez-Orallo, Cameron E. Freer, Valerie Chen, Ilia Sucholutsky
Characterizing initial human-AI proof formalization workflows · 相关人物
暂无数据