LAFI 2027 工作坊开放征稿,聚焦概率可微编程与推理语义
atilimgunes · x · 2026-10-09
POPL 2027 联合举办的语言与推理研讨会 LAFI 2027 开放征集扩展摘要,主题涵盖概率与可微编程、语义、类型系统、推理、自动微分与程序验证。
- 会议于 2027 年 1 月 10 日在墨西哥城举行,并设巴黎卫星会场
- 投稿为 2 页扩展摘要,截止时间为 2026 年 11 月 2 日(AoE)
「研究」频道最新
- 前沿模型首次在财报预测上跑赢人类专家共识 — maithra_raghu · 2026-10-09
- 小鼠胚胎细胞命运图谱研究登 Cell，AI for Science 再下一城 — anshulkundaje · 2026-10-09
- Ben Recht 批判不确定性量化:95% 场景只剩高斯误差条 — beenwrekt · 2026-10-09
- Text-to-SQL Agent 踩坑实测： critic 分离成本涨 53% 却零收益 — renatyv · 2026-10-09
- NeurIPS 2026 论文 NAMVIS：next-scale 自回归替代扩散，新视角合成提速 3 倍 — RexDouglass · 2026-10-09
- SWEeper-Bench：测 AI agent 能否在用户发现前扫清按需软件的 bug — liuzhuang1234 · 2026-10-09