PulseAugur
中
实时 20:30:13
实体 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天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
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. 来源
情绪 · 30 天

1 天有情绪数据

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

    Neuro-symbolic framework improves math statement autoformalization

    Researchers have developed a new neuro-symbolic framework called Decompose, Structure, and Repair (DSR) to improve the process of autoformalization, which translates natural language mathematical statements into formal …