Lean-QuantumAlg-Bench 和 Lean-QIT-Bench 评估 AI 定理证明
想知道 AI 定理证明在量子计算领域到底多强？这篇论文给了两个新基准和四个模型实测分数，LAD 方法能提升最高 15.9 分，很实在。
#Lean-QuantumAlg-Bench
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「Lean-QuantumAlg-Bench」标签的资讯、产品与论文，按刊登时间排，新的在上。
7月24日
想知道 AI 定理证明在量子计算领域到底多强？这篇论文给了两个新基准和四个模型实测分数，LAD 方法能提升最高 15.9 分，很实在。