公开论文雷达

公开 arXiv 研究简报 · 2026-09-03T00:41:19.221314+00:00

先看结论和关键数字，再决定要不要读原文。候选只在首次出现时展示；旧候选若后来通过深读门槛，仍会进入重点。

重点深读（0 / 0 篇）

形式化与程序验证（0 篇）

本轮没有通过深读证据门的重点论文。

软件工程与仓库智能（0 篇）

本轮没有通过深读证据门的重点论文。

代码质量与优化（0 篇）

本轮没有通过深读证据门的重点论文。

UI 与 GUI Agent（0 篇）

本轮没有通过深读证据门的重点论文。

个人知识与本体（0 篇）

本轮没有通过深读证据门的重点论文。

人机协同与对齐（0 篇）

本轮没有通过深读证据门的重点论文。

本轮分类概览

同一论文只归入一个最先命中的赛道，避免重复计数；“新增候选”只统计首次展示的论文。

赛道新增候选重点
形式化与程序验证00
软件工程与仓库智能00
代码质量与优化00
UI 与 GUI Agent00
个人知识与本体00
人机协同与对齐00

近一个季度监测日历

北京时间。绿色表示有可阅读的新候选，灰蓝表示已监测但无新增，橙色表示部分降级；“无记录”不等于失败。

2026 年 8 月

一二三四五六日
115候选 / 7重点2已监测 / 无新增3已监测 / 无新增46候选 / 6重点518候选 / 5重点613候选 / 6重点74候选 / 2重点85候选 / 4重点9已监测 / 无新增10已监测 / 无新增116候选 / 2重点1212候选 / 4重点137候选 / 0重点147候选 / 3重点1512候选 / 8重点16已监测 / 无新增17已监测 / 无新增187候选 / 5重点1912候选 / 4重点205候选 / 2重点214候选 / 4重点226候选 / 1重点23已监测 / 无新增24已监测 / 无新增259候选 / 3重点2617候选 / 6重点275候选 / 3重点287候选 / 7重点295候选 / 3重点30已监测 / 无新增31已监测 / 无新增

近 14 次监测窗口

仅展示公开源的聚合运行状态，不含提示词、全文或个人数据。

开始时间状态抓取新增候选重点
09-03 08:39部分降级000
09-02 08:34部分降级101128
09-01 08:32部分降级8352
08-31 08:37部分降级10101
08-30 08:32部分降级000
08-29 08:38部分降级10153
08-28 08:32部分降级10177
08-27 08:33部分降级10153
08-26 08:35部分降级101176
08-25 08:34部分降级10193
08-24 08:32部分降级10100
08-23 08:38部分降级10103
08-22 08:38部分降级10161
08-21 08:31部分降级10144

本轮新增候选（0 篇）

按赛道、评分和日期展开；中文标签用于导航，英文摘要用于核验。已展示过的旧候选不会每日重复。

形式化与程序验证（0 篇）

本轮该赛道没有候选论文。

软件工程与仓库智能（0 篇）

本轮该赛道没有候选论文。

代码质量与优化（0 篇）

本轮该赛道没有候选论文。

UI 与 GUI Agent（0 篇）

本轮该赛道没有候选论文。

个人知识与本体（0 篇）

本轮该赛道没有候选论文。

人机协同与对齐（0 篇）

本轮该赛道没有候选论文。