From the arXiv
Wednesday, 15 July 2026 · 20 papers
Accelerating Masked Diffusion Large Language Models: A Survey of Efficient Inference Techniques
This survey addresses the challenge of achieving practical speedups in masked diffusion large language models (dLLMs), despite their theoretical parallel generation advantage. The core method involves introducing a unified latency decomposition framework to disentangle algorithmic, architectural, and system-level facto…
Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs
This paper introduces EG-VAR, a novel architecture that uses the Lean 4 formal verification kernel to ensure Large Language Model (LLM) empirical reasoning is grounded in attested evidence and logically sound. By requiring all verified outputs to trace back to tool calls and kernel-checked inferences, EG-VAR significan…
Less Experts, Faster Decoding: Cost-Aware Speculative Decoding for Mixture-of-Experts
This paper addresses the inefficiency of speculative decoding in Mixture-of-Experts (MoE) LLMs. It proposes **EcoSpec**, a cost-aware speculative decoding framework that minimizes expert scattering by considering the marginal expert activation cost during draft token selection. This approach aims to improve inference s…
Who Grades the Grader? Co-Evolving Evaluation Metrics and Skills for Self-Improving LLM Agents
This paper addresses the challenge of evaluating LLM agents when no reliable metric exists. Their core method, "Double Ratchet," co-evolves evaluation metrics and agent skills simultaneously. This allows the system to learn and refine both its performance and how to measure it, leading to self-improvement even in novel…
A Learning-Rate-Gated Failure of GRPO in a Small Language and Vision-Language Model Web Agent: A Controlled Null and Its Mechanism
This paper investigates whether Reinforcement Learning from Human Feedback (RLHF), specifically Group Relative Policy Optimization (GRPO), improves the performance of small language and vision-language web agents. The study found that GRPO, even with extensive hyperparameter tuning, failed to credibly enhance the succe…
Agentic Service-Oriented Computing: A Manifesto for the Next Frontier of Service-Oriented Computing
This paper proposes Agentic Service-Oriented Computing (ASOC) to address the challenges of integrating LLM-powered agents into complex distributed systems. ASOC advocates for engineering agents as services and orchestrating them using established Service-Oriented Computing principles. Its core contribution is to provid…
Can Induced Emotion Bias LLM Behaviors in Sequential Decision Making?
This paper investigates if induced emotions can bias Large Language Model (LLM) behavior in sequential decision-making, using the Iowa Gambling Task. The core method involves an imagination-based emotion induction procedure with LLMs. The main contribution is finding that, unlike humans, induced emotions generally do n…
Do AI Agents Know When a Task Is Simple? Toward Complexity-Aware Reasoning and Execution
This paper introduces E3 (Estimate, Execute, Expand), a method for AI agents to assess task complexity and optimize resource usage. E3's core is **task-aware execution-scope estimation**, where agents first estimate effort, then execute a minimal path, and only expand if verification fails. This approach significantly …
Do We Really Need Multimodal Emotion Language Models Larger Than 1B Parameters?
This paper questions the necessity of massive multimodal models for emotion recognition. It proposes Light-MER, a lightweight framework that uses knowledge distillation to transfer capabilities from larger models. This approach achieves competitive or better performance with significantly reduced computational cost, en…
Internet of Agentic Things: Networked AI Agents for Closed-Loop IoT Orchestration
This paper introduces the Internet of Agentic Things (IoAT), a framework that unifies AI agents with IoT, cyber-physical systems, and digital twins for closed-loop orchestration. Its core method formalizes this as a coupled workflow-control problem, linking agentic planning with physical execution via a hylomorphic dyn…
Jetson-PI: Towards Onboard Real-Time Robot Control via Foresight-Aligned Asynchronous Inference
This paper introduces Jetson-PI, a method for real-time robot control using Vision-Language-Action (VLA) models on low-power onboard devices. It tackles the latency and misalignment issues of asynchronous inference by training a lightweight "future correction module" to predict future environment states. This allows th…
LLMs Can See the Smoke but not the Fire: Evaluating Abductive Reasoning with Elenchos
This paper introduces Elenchos, a framework for evaluating abductive reasoning in LLMs by treating it as an inverse problem. LLMs are tasked with identifying mutations in formal systems and inferring the specific rule changes that caused observed behavioral differences. The study finds that LLMs can often detect system…
MemOps: Benchmarking Lifecycle Memory Operations in Long-Horizon Conversations
This paper introduces MemOps, a novel benchmark for evaluating long-term memory in LLM agents. Instead of just assessing final answers, MemOps reformulates conversational memory as a sequence of explicit lifecycle operations (remembering, forgetting, updating, etc.). This allows for a more granular assessment of memory…
Multi-Perspective Agentic Program Repair via Code Property Graphs and Temporal Execution Graphs
CT-Repair addresses limitations in LLM-based program repair by representing code and execution data as queryable Code Property Graphs (CPGs) and Temporal Execution Graphs (TEGs). It employs a filtering pipeline to create compact TEGs and then uses three specialized agents (static, dynamic, hybrid) to generate evidence-…
PalmClaw: A Native On-Device Agent Framework for Mobile Phones
PalmClaw is a novel framework that enables Large Language Model (LLM) agents to run natively on mobile phones. Its core method involves exposing device capabilities as structured "device tools" that the agent can directly call, overcoming the limitations of traditional GUI-based mobile agents. This allows for more effi…
Tracing Agentic Failure from the Flow of Success
This paper proposes OAT, an unsupervised method for identifying failure steps in LLM-based agents. OAT models the normal flow of successful task execution using neural controlled differential equations. At inference, it flags steps in a failed trajectory that deviate from this learned normal behavior, enabling lightwei…
Epistemic Stance Flexibility Probing: Measuring Prompt-Conditioned Register Shift in Large Language Models
This paper introduces Epistemic Stance Flexibility Probing (ESFP), a new benchmark to measure how well large language models can shift their "epistemic register" – distinguishing between reporting expert opinions and expressing their own stance. ESFP uses carefully crafted prompts to assess this shift across various di…
Evaluating Large Language Models on Misconceptions in Multi-Turn Medical Conversations
This paper introduces ThReadMed-QA, a novel multi-turn dialogue dataset designed to evaluate how well Large Language Models (LLMs) can detect and correct patient misconceptions in medical conversations. The core method involves analyzing LLM performance on this dataset to understand if they can identify and address fal…
KnowAct-GUIClaw: Know Deeply, Act Perfectly, Personal GUI Assistant with Self-Evolving Memory and Skill
This paper introduces KnowAct-GUIClaw, a novel framework that enhances agent capabilities for complex GUI automation. Its core method is the "Know Deeply, Act Perfectly" paradigm, which unifies cognitive understanding and operational execution by leveraging accumulated user interaction and task experience. The main con…
A Multi-Agent System for Autonomous, Fine-Tuning-Free Clinical Symptom Detection: Development and Validation Study
This paper introduces Pythia, a novel multi-agent system for autonomous clinical symptom detection. Pythia's core method involves automatically generating and optimizing extraction prompts for clinical concepts, eliminating the need for manual prompt engineering or model fine-tuning. Its main contribution is demonstrat…