arXiv

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 聚合
2026-07-24
arXiv

The Boundaries of Automation: A Theory of Persistent Human Participation

The rapid progress of AI has intensified the long-standing pursuit of automation: replacing human participation with ...

AI 聚合
2026-07-24
arXiv

MIRROR: Learning from the Other View for Multi-Modal Reasoning

Unlike large language models (LLMs) that exhibit strong reasoning capabilities, vision-language models (VLMs) struggl...

AI 聚合
2026-07-24
arXiv

Visual Contrastive Self-Distillation

On-policy self-distillation (OPSD) is promising as it removes the external teacher required by on-policy distillation...

AI 聚合
2026-07-24
arXiv

OpenForgeRL: Train Harness-native Agents in Any Environment

Modern AI agents rely on elaborate inference harnesses such as Claude Code, Codex, and OpenClaw to drive multi-turn r...

AI 聚合
2026-07-24
arXiv

Beyond Sycophancy: Structured Resistance and Compliance in LLM Moral Reasoning

Building socially calibrated large language models, which can learn from others without simply yielding to them, requ...

AI 聚合
2026-07-24
arXiv

Unsupervised Consensus-Based Anomaly Detection for Spatiotemporal Malaria Incidence in Ghana

A consensus anomaly detection framework was applied to monthly malaria surveillance data from Ghana (2014-2023) to id...

AI 聚合
2026-07-24
arXiv

Beyond Sufficiency: Time Series Explanation with Counterfactual Necessity

Faithful explanations of time-series classifiers should identify subsequences that are not only sufficient to preserv...

AI 聚合
2026-07-24
arXiv

Synthetic data generation framework for quality control automation in gravure printing

Quality control in printing, particularly in rotogravure printing, still depends on slow, costly, and subjective manu...

AI 聚合
2026-07-24
arXiv

Barzilai-Borwein Fails Superlinear Convergence on an Open Set of Quadratics for Every Dimension $n\geq 4$

Barzilai--Borwein (BB) method has shown strong practical performance in continuous optimization, yet its convergence ...

AI 聚合
2026-07-24
arXiv

GraphVid: Interactive Graph-Controllable Video Generation

Controllable video generation remains challenging due to the difficulty of specifying precise multi-object interactio...

AI 聚合
2026-07-24
arXiv

3D-Aware VLMs with Implicit and Explicit Geometries

Despite rapid progress, most existing vision-language models (VLMs) built from 2D visual inputs often struggle when h...

AI 聚合
2026-07-24
首页 上一页 第 236 / 342 页 下一页 末页