实体 FiberRing

FiberRing

PulseAugur coverage of FiberRing — every cluster mentioning FiberRing across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_128518 · Jul 5 · 22:45

研究发现：LLM 在经过验证的数学结构上出现路由失败

一项新研究调查了大型语言模型（LLM）在处理经过形式验证的代数结构时出现的路由失败问题。研究发现，在盲测条件下，GPT-OSS 120B 的模板准确率为 80.3%，Llama 3.3-70B 的准确率为 68.2%。提供“Lean verdict/witness cue”显著提高了两个模型的准确率，GPT-OSS 120B 达到 90.9%，Llama 3.3-70B 达到 81.8%。研究确定了 CRT 和环等价之间的常见错误路由…