AI for Science Workshop 进入 NeurIPS 2026
rishabh16_ · x · 2026-07-13
AI for Science Workshop 的第 8 届主题为 “Verifications in the Age of AI Scientists”，已经被 NeurIPS 2026 接收。
帖子表示，这个 workshop 会聚集 AI 与科学发现交叉方向的研究者，后续还会公布更多细节。其核心关注点是：在“AI 科学家”时代，如何做验证（verifications）。
「研究」频道最新
- EMNLP 论文：让 LLM 换个问法，「42」变「3」但蝴蝶仍是帝王蝶 — radamihalcea · 2026-10-27
- Datology Curation Studio 线上深潜：少于 20% 算力匹配最强基线 — josh_wills · 2026-10-27
- KANLab 开源：浏览器里可视化玩转 KAN 网络 — Lukas Niehaus · 2026-10-27
- CMU 提出 LLM2Cert：LLM 生成证书，SMT/Lean 自动验证 — CarnegieMellonU · 2026-10-27
- NVIDIA 开源 FLORA：机器人数据引擎，成本仅 GPT-6 Astra 的 1/125 — nvidia · 2026-10-27
- RSNA 2026 深度学习实验室回归:芝加哥四天八节动手 AI 课 — PRouzrokh · 2026-10-27