Archive
GitHub 熱門專案、開源工具、框架、runtime 與重要 release。
推論系統
A new study uses typed error contracts to unify monitoring across KV caches, latent caches, sparse selectors, and recurrent states, while using Lean to verify formalizable composition rules. The public repository can reproduce the paper’s figures and 67 theorems, but excludes architecture-specific probes and the complete serving platform.
代理工具
CodeGrep first narrows the scope of changes through parallel grep, glob, and file-reading operations, then passes candidate files to a frozen OpenHands coding agent. It maintains a roughly 27% repair rate on SWE-bench Verified while reducing inference costs, but the model and training pipeline have not yet been released.
最新模型
Instead of treating the probability of a preference token as the reward, RRC constructs scores from the relative rankings of candidate responses. With an 8B reward model and eight-vote aggregation, the ArenaHardV2 score also rises from 8.0% to 11.2%, at the cost of additional reward model inference.
電腦視覺與具身 AI
HOPE maps tactile-glove data, planar sensor readings, and contact-only annotations onto a unified MANO hand mesh. It can output per-vertex pressure and contact from ordinary RGB video, although its public page currently still lists the code and models as “coming soon.”
新基準在保持目前請求、工具集合與正確動作不變的情況下，只插入已失效但看似合理的歷史紀錄。Oracle-OPD 將 Qwen3-1.7B 的平衡工具使用準確率提高至 87.0%，但驗證範圍仍限於合成的零售與航空情境。
電腦視覺
CogVis decouples cross-temporal image comparison from text-category classification, allowing multiple open-vocabulary queries to reuse the same scene-change features. The authors report state-of-the-art results across seven benchmarks and a 28.5% throughput gain, but did not release the model weights with the code.
代理工具
AgentOPSD accumulates probability differences between a teacher and student into turn-by-turn belief updates to identify the decisions that truly determine task success or failure. The authors report that it outperforms GRPO and several self-distillation baselines across three types of agent environments, although the public repository still does not provide training code.
代理工具
GAUGE puts physics engines and generative world models through the same real-world benchmark, diagnosing errors separately in trajectories, equation forms, and physical parameters. The results show that visually plausible output—or even conformity to the correct equation form—does not guarantee accurate acceleration, momentum transfer, or oscillation periods.
代理工具
MIST tests not only whether models can resist incorrect prompts, but also whether they still incorporate accurate external information. Its companion method, SCOPE, reduced Qwen3-4B’s correct-to-wrong rate from 35.0% to 16.3%, though training has so far been validated on only two families of small open models.
代理工具
A new study compiles API schemas into typed Python stubs, allowing models to chain or invoke tools in parallel within a single inference. The method matches or outperforms native JSON for most models on a BFCL v4 subset, but it has so far been tested only with simulated tools that return their arguments, so the results do not establish that real-world API workflows would see the same benefits.
最新模型
GeniWorld first uses URDF to convert joint actions into pixel-aligned robot motion, then employs a causal DiT to predict how the environment will respond. Across four real-world tasks, the authors report that the overall success rate increased from 40.8% to 69.0%, although neither the code nor model weights have been released.
代理工具
HarnessOpt-Bench asks models to modify prompts, tools, memory, and control flow within a fixed evaluation budget, then measures actual gains on an unseen test set. Across 111 experiments, the model itself accounted for more variation than the outer coding harness, while native tools did not consistently outperform shared ones.