Talia Ringer 团队「证明修复与余代数等价」论文获 POPL 接收
LingmingZhang · x · 2026-10-07
Talia Ringer 宣布与 Trey Plante、Eric Paul、Cosmo Viola、Alex Kavvos 合作的论文《Proof Repair and (Co)algebra Equivalences》获条件接收（conditionally accepted）于 POPL。她表示学生们和合作者把当年博士论文中的「直觉」变成了精确且可推广的形式化工作。
「研究」频道最新
- LLM2Vec-Gen:冻结 LLM 单次前向生成答案嵌入,登上 COLM 2026 — sivareddyg · 2026-10-07
- 研究揭示混合架构 LLM 几乎只用注意力,辅助训练可逼出循环记忆价值 — mohitban47 · 2026-10-07
- 研究者提出 World Editing:不生成新世界而是编辑已有世界 — yuntiandeng · 2026-10-07
- 新研究追问：Agent 替你行动时，它到底站在谁那边 — ZacharyHuang12 · 2026-10-07
- RL 研究年度 Top 10 榜单出炉，Spurious Rewards 居首 — ShayneRedford · 2026-10-07
- SciConBench 团队:每两月跑一轮评测,寻找资金维持公开榜单 — manoelribeiro · 2026-10-07