TTIC 成立 LEIF 实验室，用形式语言理论拆解 Transformer 表达力
lambdaviking · x · 2026-09-25
芝加哥丰田技术研究所（TTIC）成立 LEIF（Language, Expressivity, Interpretability, and Formalism）实验室，团队由跨学科研究者组成，聚焦自然语言、机器学习与理论计算机科学。核心方向包括：用形式语言理论刻画 Transformer 等神经序列模型能计算什么、不能计算什么，以及架构选择如何影响模型能力；将自动机、逻辑与电路复杂度应用于 LLM 研究；以及把理论洞见用于更 principled 的开源 LLM 架构改进。
所属事件:TTIC 成立 LEIF 实验室，研究语言表达力与可解释性(2 条相关)→
「研究」频道最新
- 综述 1322 篇论文:92% 的 LLM 隐私研究只盯记忆泄漏 — tianshi_li · 2026-09-25
- flosalim 组 7 篇论文入选 NeurIPS 主会,覆盖交通信号与优化器等方向 — flosalim · 2026-09-25
- 约克大学团队 3 篇论文入选 NeurIPS,涉电路发现与视觉推理加速 — CSProfKGD · 2026-09-25
- RLVR 训练也有「先入为主」:首因偏差研究入选 NeurIPS 2026 — ParshinShojaee · 2026-09-25
- 历史学者用 GPT-6 与 Opus 5.5 破解约翰·迪伊密码、追溯达尔文思想源流 — emollick · 2026-09-25
- 因果推断之父 Judea Pearl 90 岁生日,UCLA 举办纪念研讨会 — AlexTensor · 2026-09-25