PulseAugur
实时 12:38:35
实体 Decompose, Structure, and Repair (DSR)

Decompose, Structure, and Repair (DSR)

PulseAugur coverage of Decompose, Structure, and Repair (DSR) — every cluster mentioning Decompose, Structure, and Repair (DSR) across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
时间线
  1. 2026-05-25 research_milestone Introduction of the DSR neuro-symbolic framework for autoformalization and its superior performance on the PRIME benchmark. 来源
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_48825 ·

    神经符号框架改进数学语句自动形式化

    研究人员开发了一种名为分解、结构化和修复(DSR)的新型神经符号框架,以改进自动形式化过程,该过程将自然语言数学语句转换为形式化代码。与先前将形式化代码视为扁平序列的方法不同,DSR将语句分解为逻辑组件,并将它们映射到结构化算子树。这种方法通过子树细化实现了更精确的错误定位和修复。该框架在一个名为PRIME的新基准上进行了评估,该基准包含156个定理,并展示了最先进的性能。