Lab2Sim 基准：218 个实验视频转可交互虚拟实验，代码生成按状态机校验
PolyUHK · hf · 2026-11-03
华南理工与香港理工大学发布 Lab2Sim，研究把真实科学实验视频转化为可交互的虚拟实验。
- Benchmark：218 条科学实验视频，附证据支撑的规格说明与 11,881 条评分项，评测生成代码的功能正确性与交互行为；关键是不仅要复现器材与状态变化，还要 enforce 每个操作的前置条件。
- 方法 EduVideo2Code：将实验流程编码为状态机，为界面转换生成经验证的代码——作者指出重建界面转换并不需要推断实验材料的物理状态，从而绕开科学视频理解中最难的部分。
- 实验显示该状态机编码提升了器材还原度（apparatus fidelity）。
「研究」频道最新
- Harmonic 推 Aristotle：39 分钟形式化验证浮点 SRT 除法器 — satnam6502 · 2026-11-03
- Harmonic 将在 REACH 2026 演讲：用 AI 定理证明器无幻觉合成硬件 — satnam6502 · 2026-11-03
- 零化 Qwen3.5-0.8B 单个权重列，同一提示从坏椅子变正确椅子 — victormustar · 2026-11-03
- 实验数据引导 AlphaFold3，Nature Biotech 论文解决构象坍缩问题 — mmbronstein · 2026-11-03
- 小米开源机器人基础模型 Xiaomi-Robotics-1，10万小时轨迹覆盖1700场景 — CyberRobooo · 2026-11-03
- Spacy 創始人 Honnibal 批評 LLM 權重讀寫研究摘要:各實驗方法並不相同 — honnibal · 2026-11-03