两篇代码 LLM 论文入选 EMNLP2026：行为合规基准与自验证共进化
algo_diver · x · 2026-10-25
作者宣布将在 EMNLP2026 报告两篇论文（配图为论文标题页）：
- 《Do LLM-Generated Web Apps Behave Correctly?》：提出一个以契约（contract）为锚的基准，评估 LLM 生成的 Web 应用在行为层面是否符合规格，而非只看能否运行。
- 《Learning to Code by Learning to Verify》：提出执行驱动的代码生成与自验证共进化方法，让代码 LLM 通过学会验证来提升生成可靠性。
作者来自 HKUST（广州）、HKUST 与 ETRI。
「研究」频道最新
- UT Dallas 论文 Jev-Mem:小模型做记忆决策,长对话记忆构建快 6.6 倍 — rohanpaul_ai · 2026-10-25
- 拜耳牵手斯坦福初创 Phylo,AI 智能体加速新药研发 — RichardsonDx · 2026-10-25
- 96 台人形机器人共享经验互学,五项任务成功率从 81% 升至 97.3% — CyberRobooo · 2026-10-25
- HCI 研究者尝试用 AI 打造贝叶斯统计封装库降低使用门槛 — IanArawjo · 2026-10-25
- 《谷歌背后的线性代数》短论文拆解 PageRank 数学原理 — HankYeomans · 2026-10-25
- 论文《Do LLMs Feel?》定位 LLM 内部情绪回路 — mikeflache · 2026-10-25