Harmonic 的 Petar Veličković 将在 POPL 2027 TPSA 研讨会做主题演讲
satnam6502 · x · 2026-10-21
POPL 2027（2027 年 1 月 10-16 日，墨西哥城）联合研讨会 TPSA（静态分析理论与实践）宣布，来自 AI 数学公司 Harmonic 的 Petar Veličković 将做主题演讲，更多讲者待公布，讲题提案征集中。同期还有 CPP、VMCAI 及 FRIDA、LAFI、PLanQC 等多个形式化方法与编程语言研讨会。
「研究」频道最新
- Simons 基金会联手 Anthropic、OpenAI 资助数学+AI 研究所 — windx0303 · 2026-10-21
- 用 Gemma 嵌入把音乐轨迹在 3D 空间中可视化追踪 — ryunuck · 2026-10-21
- Amazon论文：Harness进化收益54%是过拟合，仅少部分可泛化 — Wenxuan Ding · 2026-10-21
- 合著者做解读视频：用前沿 API 合成数据微调反而不如不训 — idanbeck · 2026-10-21
- EAGLE-4 投机解码框架开源，支持 SGLang 与 vLLM — testingcatalog · 2026-10-21
- Epoch 用自家真实工作测六大前沿模型：明确任务可靠,开放任务仍无法自动化 — dl_weekly · 2026-10-21