From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
Concurrent stateful library APIs expose behavior through evolving resource ownership, lifecycle states, and competing...
每天自动聚合 AI 领域最新动态
Concurrent stateful library APIs expose behavior through evolving resource ownership, lifecycle states, and competing...
The rapid progress of AI has intensified the long-standing pursuit of automation: replacing human participation with ...
Unlike large language models (LLMs) that exhibit strong reasoning capabilities, vision-language models (VLMs) struggl...
On-policy self-distillation (OPSD) is promising as it removes the external teacher required by on-policy distillation...
Modern AI agents rely on elaborate inference harnesses such as Claude Code, Codex, and OpenClaw to drive multi-turn r...
Building socially calibrated large language models, which can learn from others without simply yielding to them, requ...
A consensus anomaly detection framework was applied to monthly malaria surveillance data from Ghana (2014-2023) to id...
Faithful explanations of time-series classifiers should identify subsequences that are not only sufficient to preserv...
Quality control in printing, particularly in rotogravure printing, still depends on slow, costly, and subjective manu...
Barzilai--Borwein (BB) method has shown strong practical performance in continuous optimization, yet its convergence ...
Controllable video generation remains challenging due to the difficulty of specifying precise multi-object interactio...
Despite rapid progress, most existing vision-language models (VLMs) built from 2D visual inputs often struggle when h...