Harmonic 工程师在格拉斯哥大学开讲：形式验证世界为何火热
satnam6502 · x · 2026-10-30
软件工程师 Satnam Singh（Harmonic）宣布将在格拉斯哥大学计算机系 CAKES Talk 上发表题为「Why The World of Formal Verification is On Fire」的演讲（2026 年 10 月 30 日），探讨形式验证领域当前为何处于火热状态。
所属事件:Harmonic 工程师展示 Aristotle 形式验证成果(3 条相关)→
「研究」频道最新
- 4B 模型学 11.7 万条决策样本：各项媲美 Jev，唯独读不懂讽刺 — SRSchmidgall · 2026-10-31
- David Baker 团队新预印本：蛋白质设计可降低 CD8⁺ T 细胞免疫原性 — gottapatchemall · 2026-10-31
- 公司按篇付费 $300 收购 ICLR/NeurIPS 一作问卷，研究生薅羊毛贴 — Icy-Park4287 · 2026-10-31
- Gary Marcus 讽刺 OpenAI 新算法:变量阈值 10^25,实跑仍是指数时间 — AlexTensor · 2026-10-31
- NVIDIA BindClaw 引发观察：AI4Bio 新方法必须接入 Agent 流水线才算完整 — rishabh16_ · 2026-10-31
- Kyutai 等复现 Neural Thickets：收益无需权重扰动，冻结模型加 logit 偏置即可 — kastnerkyle · 2026-10-31