PulseAugur
实时 10:48:14
实体 Zitong Wang

Zitong Wang

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_259338 ·

    新框架增强了LLM生成的自然语言证明验证

    研究人员开发了ProofVerifier,一个旨在增强大型语言模型生成的自然语言证明验证的框架。该系统通过采用一个由LLM辅助的数据管道,以最少的人工干预生成大规模的问答-证明-检查(QPC)三元组,从而解决了多样化和可靠的QPC示例稀缺的问题。该管道系统地改变问题来源、生成策略和模型,以创建多样化的证明对,然后通过多LLM一致性和分层人工审计进行精炼,以进行准确标记。生成的数据用于训练生成式证明验证器,并结合辅助流畅性过滤器和平衡的…