清華開源 SRHarness,符號迴歸恢復率 93.69%,併發布 MechBench 基準
清華大學電子工程系發布智慧體符號迴歸執行時框架 SRHarness,程式碼已開源,支援 PyPI 安裝並提供線上 Demo。在相同 DeepSeek-v4-flash 底座下,其 LSR-Transform 符號恢復率達 93.69%,較此前最先進方法 SR-Scientist 的 62.16% 提升超 30 個百分點;匿名化測試中為 72.97%,遠高於 Codex 的 20.72%。
找到 7 筆
清華大學電子工程系發布智慧體符號迴歸執行時框架 SRHarness,程式碼已開源,支援 PyPI 安裝並提供線上 Demo。在相同 DeepSeek-v4-flash 底座下,其 LSR-Transform 符號恢復率達 93.69%,較此前最先進方法 SR-Scientist 的 62.16% 提升超 30 個百分點;匿名化測試中為 72.97%,遠高於 Codex 的 20.72%。
清華大學自動化系研究者提出 Local Demonstration Editing(LDE)與小型編輯模型 Jev-LDE,在目標 LLM 推理前對已檢索出的 demonstration set 只做一次 Keep、Delete 或 Replace 編輯,而非重新搜尋最優範例組合。
南開大學聯合阿里雲、清華大學提出 PoS(Progression of States),把智慧體持續互動卻無實質進展的狀態定義為 Belief Trapping,並用顯式信念狀態、Belief Health 檢測與 Trapping-Aware Recovery 打破它。
清華大學等機構提出「樣本分佈訓練」,用一批生成樣本與參考樣本的整體分佈差異提供監督,取代逐樣本的參考答案,把生成壓縮到一步或少數幾步。MGFlow 在 ImageNet 256×256 上把 pMF-H、JiT-H 的單步 FDr⁶ 降至 1.45、1.64,較 FD-Loss 降低約 23% 和 38%;後訓練 FLUX.2 [klein] 4B 一步文生圖,GenEval 從四步的 0.794 升至 0.900。
清華大學牽頭聯合多所高校推出 OSWorld-Science 科研智慧體評測基準,含 146 項專家任務、覆蓋 7 大科學領域與 14 種科研軟體配置,12 個視覺語言模型平均任務得分僅 34.3%。Claude Fable 5.1 以 73.7% 領先,Claude Opus 5、GPT-6 Astra、GPT-5.6 sol 分別為 57.9%、57.4% 和 50.1%,但化學類任務中僅少數模型超過 20%。
Nikon 認定清華大學徐寧的 Small World in Motion 參賽影片使用 AI、不符合比賽規則,取消其冠軍資格,新科第一為越南的 Nguyen Nam Nhat,作品拍攝微小線蟲與單細胞生物。據 BBC 報導,有研究者指出該影片存在結構異常、細胞特徵憑空出現和消失,原始檔中還發現疑似 AI 水印;徐寧稱 AI 僅用於區分與視覺化重建灰度影像中的特徵,否認用它生成實驗影像、纖毛及其運動。
南洋理工大學、清華大學、上海交大等十餘家機構聯合發布綜述,以「感知—推理—行動」為主線梳理近 200 篇具身智慧可供性學習工作。綜述將研究分為可供性感知(2D、3D、互動驅動、可泛化)、可供性推理(關係式、語言中心、智慧體式)與可供性引導行動(分層執行、策略學習融合)三個層次,並彙總五類資料集與 IoU、mAP、aIoU 等評測指標。作者指出視覺預測準確並不等於機器人能成功執行,未來評測需納入機器人本體約束與物理可行性。