NVIDIA distills to 45%, Verus drives 0/1000 races, WAPO trains on winners only

Sources

ProCUA-SFT Technical Report huggingface.co

Training computer-use agents using a large-scale synthetic dataset with automated task generation and verification achieves significantly improved performance on desktop interaction benchmarks.

Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems huggingface.co

Multi-agent LLM systems with shared state are analyzed through formal methods identifying concurrency anomalies and establishing a verified consistency hierarchy with mechanized proofs of soundness and completeness.

A Gradient Perspective on RLVR Stability and Winner Advantage Policy Optimization huggingface.co

Training instability in reinforcement learning with verifiable rewards is analyzed through token-level gradient dynamics, leading to a stable policy optimization method that updates only on positive-advantage completions.

OPD-Evolver: Cultivating Holistic Agent Evolver via On-Policy Distillation huggingface.co

OPD-Evolver is a self-evolving agent framework that improves memory management and policy learning across multiple domains. It combines a slow-fast co-evolution loop with on-policy self-distillation, letting the agent retain experience and refine its policy without drifting off-policy during training.

Variable-Width Transformers huggingface.co

A new decoder-only architecture allocates nonuniform width across layers, using a parameter-free residual resizing mechanism to stitch differently sized blocks together. The X-shaped design improves performance per FLOP and shrinks KV cache memory compared to standard uniform-width transformers and MoE baselines.

GameCraft-Bench: Can Agents Build Playable Games End-to-End in a Real Game Engine? huggingface.co

GameCraft-Bench measures end-to-end game generation by asking agents to turn natural-language specs into complete playable titles inside the Godot engine. Evaluation covers engine grounding, artifact completeness, and interactive verification through multimodal judging, exposing how far coding agents fall short of real gameplay.

Visual-Seeker: Towards Visual-Native Multimodal Agentic Search via Active Visual Reasoning huggingface.co

Visual-Seeker is a multimodal deep-search agent that reasons over images natively rather than routing everything through text. By harvesting visual evidence along multimodal trajectories, it outperforms proprietary models on real-world web search tasks that require grounding answers in on-page visuals.

Looped World Models huggingface.co

Looped world models iteratively refine latent environment states by reusing a single parameter-shared transformer block, adapting computation depth to each prediction’s complexity. The design reaches roughly 100x parameter efficiency versus standard world models while matching prediction quality on harder rollouts.

Rethinking the Role of Efficient Attention in Hybrid Architectures huggingface.co

A scaling study of hybrid architectures finds that mixing full attention with sliding-window or recurrent mixers leaves final performance largely unchanged. Efficient attention instead governs how quickly long-context retrieval emerges during training, with effects like Large-Window Laziness shaping optimization trajectories rather than ceilings.

Unified Multimodal Autoregressive Modeling with Shared Context-Visual Tokenizer is Key to Unification huggingface.co

UniAR is an autoregressive multimodal model that bridges visual understanding and generation through a single discrete tokenizer shared across both tasks. Multi-level feature fusion, lookup-free bitwise quantization, and parallel bitwise prediction shorten visual sequences and deliver state-of-the-art image generation and editing results.

The Price of Anarchy in Disaggregated Inference huggingface.co

Disaggregated inference architectures separate prefill and decode phases across distinct GPU pools, and a game-theoretic analysis characterizes how GPU saturation affects system performance through regime transitions and payoff structure changes, enabling an adaptive controller to optimize routing and reduce latency.

Aligning Quantum Operators with Large Language Models huggingface.co

Large language models can be adapted to understand quantum operators by mapping unitary matrices into their latent space, enabling quantum circuit synthesis and language-conditioned gate constraint specification.

ActWorld: From Explorable to Interactive World Model via Action-Aware Memory huggingface.co

ActWorld extends navigation-centric interactive world models to support object interaction through a chunk-autoregressive framework with hierarchical action-aware memory and persistent memory banks.

RepSelect: Robust LLM Unlearning via Representation Selectivity huggingface.co

RepSelect isolates forget-set-specific representations in LLMs by collapsing top principal components of weight gradients, achieving deeper and more robust unlearning compared to existing methods.

Speaking the Language of Science: Toward a General-Purpose Generative Foundation Model for the Natural Sciences huggingface.co

A unified scientific generative language model encodes diverse scientific objects and spatial interactions as token sequences, demonstrating strong performance across multiple domains through autoregressive next-token prediction.

LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling huggingface.co

Parallel loop Transformers achieve better code generation performance with two loops due to refined representations, while additional loops cause diminishing returns and increased positional mismatch costs.

Dr-DCI: Scaling Direct Corpus Interaction via Dynamic Workspace Expansion huggingface.co

DR-DCI framework combines retrieval with direct corpus interaction by dynamically pulling relevant documents into a local workspace, enabling scalable and efficient agentic search across large corpora.

Learning from the Self-future: On-policy Self-distillation for dLLMs huggingface.co

d-OPSD introduces a novel on-policy self-distillation framework for diffusion language models by adapting self-teacher construction and supervision mechanisms to match the non-autoregressive nature of diffusion models.

Beyond Monolingual Deep Research: Evaluating Agents and Retrievers with Cross-Lingual BrowseComp-Plus huggingface.co

Research agents face significant challenges when evidence is in a different language than the query, with performance degrading even when gold evidence is provided directly.

Zone of Proximal Policy Optimization: Teacher in Prompts, Not Gradients huggingface.co

Zone of Proximal Policy Optimization (ZPPO) improves knowledge distillation by using reformulated prompts that help students learn from both correct and incorrect responses, enhancing performance especially at smaller model sizes.

Beyond Scalar Distances: Semantic Attribute Gradients from Frozen MLLMs for Visual Embeddings huggingface.co

SAGA framework uses multimodal large language models to provide attribute-aware supervision for vision encoders through Group Relative Policy Optimization, improving zero-shot image retrieval performance.

ACE-Ego-0: Unifying Egocentric Human and Robotic Data for VLA Pretraining huggingface.co

A unified Vision-Language-Action pretraining framework leverages heterogeneous data sources including human egocentric videos and robot trajectories through a reliability-aware training approach that improves performance on embodied AI tasks.

EgoCS-400K: An Egocentric Gameplay Dataset for World Models huggingface.co

EgoCS-400K is a large-scale egocentric Counter-Strike dataset that bridges passive web videos and costly real-world embodied data by providing temporally aligned video-action-language trajectories with detailed player states and game events.

TRIAGE: Dialectical Reasoning for Explainable Risk Prediction on Irregularly Sampled Medical Time Series with LLMs huggingface.co

A framework called TRIAGE is proposed to improve clinical early warning systems by training large language models to generate dialectical reasoning for continuous risk scoring with better calibration and interpretability.

MotionVLA: Vision-Language-Action Model for Humanoid Motion huggingface.co

A dual-stream frequency tokenizer and autoregressive model are proposed to improve humanoid motion generation by separately encoding pose and physical dynamics, achieving better diversity and consistency compared to single-codebook approaches.

Text-Vision Co-Instructed Image Editing huggingface.co

A unified text-visual image editing framework is presented that combines semantic intent from textual instructions with spatial guidance from visual prompts to achieve more precise and faithful image manipulation.

Show the Signal, Hide the Noise: Spectral Forcing for Pixel-Space Diffusion huggingface.co

Spectral Forcing, a time-conditional 2D-DCT low-pass operator, improves diffusion model efficiency by explicitly separating signal from noise in pixel-space models.

Self-Evolving Visual Questioner huggingface.co

A vision-language model autonomously improves its question-generation capabilities through self-evolution, enhancing both question quality and answerer performance without external supervision.

ChLogic: Evaluating Robustness of Logical Reasoning in Chinese Expressions huggingface.co

ChLogic benchmark reveals persistent performance gaps between English and Chinese logical reasoning in large language models, influenced by surface realization differences and translation artifacts.

RefGC-SR^2: Reference-guided Generated Content Super-Resolution and Refinement huggingface.co

A new reference-guided generated content super-resolution-refinement task is introduced that simultaneously recovers high-resolution details and refines generative artifacts using a frequency-aware diffusion transformer model.

LectūraAgents: A Multi-Agent Framework for Adaptive Personalized AI-Assisted Learning and Embodied Teaching huggingface.co

LectūraAgents is a multi-agent framework that enables personalized learning through adaptive embodied teaching by mimicking professor-student interactions and generating coordinated teaching actions aligned with learner profiles.

References

nxcode.io review of Kimi-K2.5 nxcode.io

Kimi-K2.5 has achieved a record-breaking score on the OSWorld-Verified benchmark, reaching 63.3%, which at the time of its release surpassed leading models like Claude 4.5 and GPT-5.2 in computer use proficiency.

r/computervision thread on UI-TARS brittleness reddit.com

UI-TARS is literally the most prompt sensitive GUI [model] — performance deteriorates rapidly if temperature settings exceed zero or if the system prompt is altered from the ‘You are a GUI agent’ default.

Meituan EvoCUA GitHub github.com

EvoCUA uses a verifiable synthesis engine and evolutionary cycle to autonomously generate diverse tasks and executable validators, lifting OpenCUA-72B from 45.0% to 56.7% on OSWorld.

NR Labs — Bypassing Nemotron v3 policy protections nrlabs.com

A simple ‘uncensored’ system prompt could reliably bypass safety filters to generate sophisticated malware, such as Windows keyloggers.

NeurIPS 2024 — VLM-as-judge meta-evaluation neurips.cc

VLMs frequently favor complex-sounding answers even when they contradict visual evidence… position bias shifts a judge’s preference by an 8.2% mean advantage for whichever option appears second.

NeurIPS 2025 — STEVE step-verification pipeline papers.nips.cc

An auxiliary model (like GPT-4o) acts as a judge for every discrete action, assigning stepwise rewards to prune ineffective steps… shifting from imitation learning to outcome-driven filtering.

LangChain official docs — INVALID_CONCURRENT_GRAPH_UPDATE docs.langchain.com

Parallel tool execution can lead to state integrity issues if multiple nodes attempt to update the same state key simultaneously. LangGraph identifies this as an INVALID_CONCURRENT_GRAPH_UPDATE error… developers are encouraged to use reducer functions such as operator.add for message lists.

Grigorian, Medium — Why do multi-agent LLM systems fail thegrigorian.medium.com

The MAST (Multi-Agent System Failure Taxonomy) identifies 14 failure modes, such as inter-agent misalignment and task verification gaps, which formal methods struggle to address in dynamic environments.

Redis blog — Why multi-agent LLM systems fail redis.io

41% to 87% of multi-agent failures are due to system design and coordination issues rather than model incapacity… developers are moving away from ‘memory as retrieval’ toward ‘memory as state infrastructure’.

nextdoorhacker — Don’t unwrap in production: a formal verification guide nextdoorhacker.com

The practical value of Verus is highlighted by its ability to prevent catastrophic failures, such as the 2025 Cloudflare outage caused by a single unverified .unwrap() panic.

Microsoft Research — Practical System Verification project microsoft.com

Verus is 3–61x faster than prior tools at verifying low-level systems, [but] it still forces developers to manually identify and refine high-level properties, a process that AI has not yet fully commoditized.

arXiv 2605.17076 — related agent middleware work (S-Bus / CoAgent) arxiv.org

Full refinement of Rust implementations via Verus is currently limited by a lack of mature support for asynchronous code (e.g., Tokio-based systems), which is standard for high-performance multi-agent communication… individual agents may be verified for functional correctness, but the collective state transitions of the MAS remain prone to Structural Race Conditions.

OpenTrain.ai — GRPO post-training analysis opentrain.ai

Lazy Likelihood-Displacement (LLD) Death Spiral… the likelihood of both correct and incorrect responses stagnates or declines simultaneously, triggering a self-reinforcing failure loop where lower-confidence responses inflate gradients and lead to total optimization collapse.

Hugging Face blog — From GRPO to DAPO and GSPO (NormalUhr) huggingface.co

GSPO shifts the optimization focus to the entire sequence… fundamentally reducing gradient variance and avoiding ‘Routing Replay’ in MoE training, but has been criticized for being ‘length-blind,’ potentially suppressing credit for thorough multi-step reasoning compared to length-sensitive token-level methods.

OpenReview — Negative Sample Reinforcement study openreview.net

NSR is surprisingly effective, improving performance across the entire Pass@k spectrum by redistributing probability mass toward plausible candidates… positive-only methods ‘absorb’ probability density into a single mode, squeezing out the diversity needed for test-time compute scaling.

Jean Kaddour — Entropy Collapse note jeankaddour.com

Computing importance ratios in BF16 precision can introduce a multiplicative upward bias that triggers clipping more frequently for exploitation tokens than for exploration tokens… effectively flipping preserving algorithms into collapsing ones unless corrected to FP16.

arXiv 2605.11491 — RAFT/RAFT++ baseline analysis arxiv.org

RAFT and RAFT++ frequently suffer from ‘short-answer bias,’ where the model collapses toward terse, formulaic responses because these shorter paths are easier to optimize under sequence-level normalization.

Modelyst AI paper summary — WAPO modelystai.com

WAPO implements an implicit curriculum using an adaptive update factor (1 − qx)… as the model becomes more proficient at a specific prompt (qx → 1), the update strength diminishes, preventing over-optimization on saturated examples.