GitHub Repo

GitHub 熱門專案、開源工具、框架、runtime 與重要 release。

最新模型

DreamX-Phi Constrains Dual-Arm Video Prediction with SE(3) Trajectories, Temporarily Ranks First on WorldArena 2.0

DreamX-Phi injects the rigid-body transformations of two robotic arms directly into attention and constrains video generation using depth, object masks, and V-JEPA features. It scored 60.65 on a WorldArena 2.0 snapshot, but its weights and inference code will not be released until the challenge concludes, and generalization to real robots remains unverified.

最新模型

SAEs Independently Select Their Highest-Activation Tokens, Inflating Cross-Dictionary Causal Variance From Near Zero to 11.9%

A new study finds that sparse autoencoder ablation evaluations typically allow each dictionary to select its own highest-activation token, meaning ostensibly identical latents are tested at different positions. After fixing a shared position, the 7.6% and 11.9% of variance previously attributed to dictionary differences in controlled experiments nearly disappeared.

代理工具

VALG Tracks Theorem Rewrites With Typed Proof Graphs; Only 2 of 9 COLT Open Subproblems Retain Their Original Scope

VALG breaks machine learning theory research into problem formalization, proof dependency graphs, local derivations, and multi-perspective review, then determines whether to repair a proof or open a separate relaxed branch based on the level of failure. Across nine COLT 2026 open subproblems, the system produced 22 internally finalized candidates, but only two runs yielded results within the scope of the original problems.

最新模型

LittleLearner Limits Pretraining Knowledge to a Fifth-Grade Level, With Few-Shot Prompting on Advanced Math Still Stuck at Around 6%

Researchers filtered 88 billion tokens of K–5 material from FineWeb‑Edu and trained 0.6B, 1.3B, and 5B models from scratch alongside compute-matched control models. Experiments show that scaling the models, applying SFT+GRPO, and providing in-context examples primarily elicit existing capabilities rather than clearly pushing beyond the pretraining knowledge boundary.

AI 安全

SPP Instills Value Reflection From the First Token, Widening the 3B Model’s OOD Risk Gap to 19 Points

Synthetic Persona Pretraining embeds first-person reflections generated from a “values constitution” into roughly 10% of pretraining documents, then uses post-training to bind that persona to the assistant identity. Newly released full experiments, weights, and data show that early intervention mainly improves value generalization, while resisting conventional jailbreaks may not require training from scratch.

最新模型

PlayWorld Has Multimodal Agents Control Nine World Models, but the Highest Long-Horizon Consistency Score Is Still Just 2.12/5

PlayWorld uses an agent that observes generated frames and dynamically adjusts control commands, preventing differences in movement magnitude across world models from making fixed trajectories incomparable. Results from 171 scenarios show that although current models can generate fluid visuals, they still struggle to preserve global spatial structure and states that continue evolving outside the field of view.

最新模型

TsuGO Reconstructs Search Trees from Reasoning Text; Gemini 3.1 Pro Scores Just 19% on Open-Ended Hard Problems

Using 600 verifiable Go life-and-death problems, TsuGO measures whether models allocate reasoning resources to the correct branches rather than merely counting correct answers and tokens. After four multiple-choice candidates are removed, both accuracy and search efficiency fall sharply across several reasoning models, leaving a clear gap with the neural-network-guided KataGo.

最新模型

LongEarth-R1 Reasons Over Satellite Sequences of Up to 30 Frames, Outperforming Comparison Models Across All 12 Spatiotemporal Tasks

LongEarth-Bench organizes 117,000 remote-sensing images into approximately 120,000 long-sequence question-answer pairs, requiring models to track changes in landforms, anomalies, and missing states. LongEarth-R1, built on Qwen2.5-VL-7B, adds frame numbering, structured reasoning, and spatiotemporal rewards, but its data, weights, and code have not yet been released.

代理工具

AutoDesign Lets Agents Rewrite Their Own Design Harness, Raising Average Poster Scores by 12.4 Points Across Seven Configurations

AutoDesign uses an outer agent to analyze execution traces and modify the production system, with an independent development set determining whether updates are accepted. The open-source DesignHarness outperformed several commercial systems on the authors’ PosterBench, but automated scores had a correlation coefficient of only 0.34 with human preferences.