论文73°11:43NL2AGBench评测大模型自动形式化能力Google推出NL2AGBench基准,测试大模型将几何问题转为AlphaGeometry形式语言的能力,闭源模型表现远超开源模型。#NL2AGBench#AlphaGeometry#大模型#形式化aarXiv cs.AI@Samuel Xiao 等 4 人原文稍后读已读值得跟进有用关注 NL2AGBench