GitHub Repo

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

應用研究/AI 基礎設施

GENCO Uses a Single Graph Neural Network for Three Power-Grid Solvers, Boosting Large-Scale AC Power-Flow Throughput by About 29×

Through heterogeneous graph attention, physical-variable decoding, and iterative residual correction, GENCO unifies power flow, optimal power flow, and state estimation. Batched inference on large grids is substantially faster than conventional AC solvers, but its zero-shot cross-grid and real-world SCADA accuracy remains insufficient to directly replace existing tools.

AI 編程工具

Coderlet Open-Sources a Readable Control Layer for Coding Agents, but Lacks Sandboxing and Automated Tests

Coderlet separates model calls, tool validation and execution results, and persistent memory into three explicit boundaries, providing an executable Python implementation under the MIT License. It is suited to studying agent control flow and failure recovery—not a higher-performing coding agent—and currently operates directly with the user’s operating-system permissions.

最新模型

Universal Activation Bus Shares SAEs and Probes Across Models with a Single Set of Adapters

Universal Activation Bus aligns the intermediate representations of five language models into a fixed 3,072-dimensional space, requiring new models to train only their own linear encoder and decoder. In experiments, models could reuse the same probes, sparse autoencoder, and natural-language explainer, although representation reconstruction for wider models remained noticeably distorted.

代理工具

Layout Matching Replaces Direct Coordinate Generation, Pushing GUI Grounding to 41.3% on ScreenSpot-Pro

Peking University researchers have multimodal models interpret only the user’s operational intent, then use Text/Icon candidate detectors and a frozen CLIP model to select the click region. Accuracy on ScreenSpot-Pro rises from the strongest listed baseline’s 18.9% to 41.3%. The paper’s claim of being “regression-free” applies only to the final matching stage: the candidate-box detector still uses bounding-box regression losses, and no implementation has yet been released.

最新模型

Open-EA Shrinks Its Visual Generation Evaluation Agent to 3B Parameters, but Currently Offers Full Support Only for the VBench Video Workflow

Open-EA distilled multi-turn visual model evaluation trajectories into 10,042 supervised examples, moving a planning workflow that previously depended on GPT-4o to the local EA-3B model. The model, data construction pipeline, and runtime are now public, but the claim that evaluation time falls to 10% of traditional methods primarily comes from the original API-based agent and should not be interpreted as a general efficiency guarantee for EA-3B.

最新模型

TIDE Corrects Teacher–Student Mismatch, Raising Qwen3 Reasoning Avg@8 from 6.9% to 20.3%

TIDE no longer treats high token-level agreement as direct evidence of successful distillation. Instead, it separately addresses student overgeneration and the omission of teacher-preferred tokens. Under the severe-mismatch setting, the method also reduces the average response length by 3.6×, although reproducing the full training run still requires eight GPUs and the authors have not released a checkpoint.

代理工具

QueryProof Uses Rule-Based Gates to Block Incorrect SQL, Raising a 7B Agent’s Business Truth Rate to 56.2%

QueryProof delegates ambiguity detection, SQL allowlisting, and post-execution validation to deterministic rules, leaving only metric resolution and SQL drafting to the model. On an 80-question frozen test set, it outperformed a 32B baseline without the same rule-based wrapper, although the advantage’s confidence interval still crossed zero after resampling by task family.