arXiv subjects

Yanyan Zhang

Publications and source records attributed to Yanyan Zhang.

At least 19 recordsLinked to original sources

arXiv2026

CASEL: Consequence-Aware Selective Execution for Reliable Long-Horizon Tool-Using Agents

Tool-using language agents increasingly modify external systems, yet most runtime safeguards allocate scrutiny by generic uncertainty scores or coarse mutation heuristics. We introduce CASEL (Consequence-Aware Selective Execution Layer), a model-agnostic runtime allocation policy that combines calibrated failure probability, state-dependent consequence, reversibility, ambiguity, and evidence freshness to choose, for each proposed tool call, among direct execution, verification, sandboxing, clarification, approval, and abstention by minimizing a per-mode cost. We formalize direct execution as selective prediction and state and test the validity conditions of a finite-sample threshold and a trajectory risk ledger. In a controlled simulation over 20 seeds with 120,000 test actions each, in which every method has the same intervention menu and the same compute cost, CASEL reduces harmful-side-effect trajectories from 14.75 percent for an uncertainty-ranked gate to 7.02 percent and mean normalized harm from 0.184 to 0.123. A gate ranked by the product of failure probability and consequence reaches similar harm (5.82 percent, 0.120) but sends 45 percent more actions to human approval, and removing reversibility-aware routing raises the rate to 15.53 percent. A trajectory-level risk budget, in contrast, increases harm at equal cost (11.82 percent). Intervention effectiveness is assumed, not measured: the results rank allocation rules under the simulator's assumptions and do not establish deployment effectiveness.

cs.AI↗

arXiv2026

What Can't Jev Decide? Probing the Limits of One-Pass Decision Models

Jev and its open replicas choose among the options a caller supplies with a single forward pass, fast enough to decide inside an agent loop. We ask what such a model cannot decide, and find a simple limit: Jev cannot make a decision that an LLM makes only by writing out intermediate steps. On a benchmark that varies one factor at a time, Jev finds and selects records without error up to 20k tokens and 64 options, but once the answer depends on two or more updates of one user, accuracy falls, to 53-80% at sixteen updates, because similar records interfere. Given a stale summary of the state, Jev follows it. On real decision items graded by how many thinking tokens a reference LLM needs, Jev answers 97.5% of the items that one forward pass of that LLM solves, but only 74% of the others. Jev also does not know its limit: its confidence flags the errors it makes itself but not those it inherits from a stale input, and neither an explicit nor a trained hand-off option catches the latter. The open models we evaluate share these limits. Checking the state such models rely on requires a model that reasons.

cs.CL↗

arXiv2026

Towards Trustworthy Physical Intelligence: From Theory to Practice Across Life Cycle

Physical intelligence refers to intelligence systems that understand, reason about, and act in accordance with the physical world and its underlying laws, dynamics, and constraints. Unlike conventional AI systems, physical intelligence interacts continuously with uncertain physical environments, and its actions produce consequences that are physically irreversible. As existing trustworthy AI frameworks have been developed primarily for digital AI systems, they do not fully capture the distinctive challenges of Physical Intelligence, such as physical safety, cyber-physical security, and physical manufacturing process. To address this gap, we present a survey of trustworthy physical intelligence principles. First, we characterize the core capabilities and challenges of physical intelligence. Second, we examine the role of physics in AI. Third, we trace the end-to-end physical intelligence life cycle across five core stages and introduce Trustworthy Physical Intelligence Operationalization (T-PAIO). Fourth, we develop the Trustworthy Physical Intelligence (T-PAI) framework, a theoretical framework that organizes key trustworthiness principles and provides a foundation for governing trustworthy physical intelligence systems.

cs.AI↗

arXiv2026

Correcting WHERE, Preserving HOW: Compositional Generalization for Vision-Language-Action Models via Referential Guidance

While Vision-Language-Action (VLA) models enable flexible action generation, their generalization across diverse environmental elements, including manipulated objects, destinations, and backgrounds, is limited by the lack of diversity in robotic training data. Trained end-to-end on such data, VLAs tend to exploit visual shortcuts, associating actions with task-irrelevant visual features rather than the intended task semantics. These shortcuts block recomposition of elements already seen by the policy, that is, compositional generalization. Existing approaches mitigate such entanglement through task-relevant perception or targeted data diversification, but offer no explicit mechanism for unseen recomposition and require backbone-specific modifications with retraining. We observe that under such recomposition, VLAs often fail at global grounding while retaining local manipulation skills that recover near the correct target in familiar configurations. Therefore, we propose Referential Guidance (ReGuide), a training-free wrapper that, given object poses from a grounding module, combines semantic and geometric rebinding to guide the end-effector into demonstration-supported configurations of the instructed referent, where the frozen policy can resume execution. Experiments in simulation across multiple VLA backbones as well as on a real robot show that ReGuide improves success rates under compositional shifts by up to 56.8 and 75.0 percentage points, respectively, while preserving standard-task performance.

cs.RO↗

arXiv2026

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Large language models can solve harder reasoning problems with more inference-time compute. The term "test-time scaling," however, covers several inference algorithms: extending deliberation along one trajectory, sampling completed candidates and aggregating them by voting or verification, and searching over partial states. These algorithms differ in statistical structure, compute requirements, and failure modes. Treating them as interchangeable under a scalar "budget," or reporting accuracy without specifying the inference protocol, makes results difficult to compare across studies. We study test-time scaling along three axes. First, we formalize it as budgeted inference over the implicit prefix tree of an autoregressive model and distinguish single-trajectory sequential scaling, leaf-level scaling with terminal reduction, and prefix-level scaling. Second, we treat the full inference system as the evaluated object and separate end-to-end performance from candidate-bank diagnostics. We introduce an evaluation profile whose coordinates and simple functionals recover or bound common repeated-sampling metrics, and require compute accounting and uncertainty estimates that match the protocol. Third, we distinguish exact replay from distributional reproducibility and state the requirements for each. We also organize open-weight reasoning models by model-side and interface mechanisms. Our empirical study covers broad knowledge, symbolic reasoning, and competition mathematics, and we publicly release 1,403,520 sampled model attempts. The project website is available at https://mohsenhariri.github.io/scorio/tts. The released datasets are Trace (https://huggingface.co/datasets/harimo/scorio-trace), Lite (https://huggingface.co/datasets/harimo/scorio-lite), Math (https://huggingface.co/buckets/harimo/scorio-math), and SuperGPQA (https://huggingface.co/buckets/harimo/scorio-gpqa).

cs.LG↗

arXiv2026

Imagining Recovery: Inference-Time Counterfactual Realignment for Vision-Language-Action Models

Vision-language-action (VLA) models have improved the flexibility and generality of robotic manipulation, yet they remain fragile to online disruptions, such as changes in task goal, scene configuration, or robot state. Existing recovery methods often require failure data, policy retraining, or external corrective agents, introducing additional data requirements and execution risks. We propose Counterfactual Realignment (CoRe), a training-free framework that recovers a frozen VLA at inference time without failure data. Upon detecting a deviation, CoRe imagines how the policy would continue toward the current goal from a recent viable state, using synthesized observations in place of physical execution, and then minimally realigns the robot and scene to rejoin this imagined continuation before returning control to the policy. Recovery is therefore planned without physical trial-and-error, preserves completed task progress, and handles both mid-episode instruction changes and physical perturbations in a unified manner. Extensive experiments across multiple simulators, VLA backbones, and real-world settings show that CoRe improves success rates by up to 85.0 percentage points to near-nominal levels while reducing physical restorations by 42.2%, without policy fine-tuning or failure-specific recovery training.

cs.RO↗

arXiv2026

STRIDE: Strategic Trajectory Reasoning via Discriminative Estimation for Verifiable Reinforcement Learning

Reinforcement Learning with Verifiable Rewards (RLVR) has become an effective post-training paradigm for improving the reasoning abilities of large language models. However, existing RLVR methods typically rely on final-answer correctness to assign trajectory-level rewards, providing sparse supervision and treating all tokens uniformly regardless of their actual contribution to reasoning. Although recent studies introduce intermediate signals such as process rewards, high-entropy tokens, and semantic uncertainty, these signals are often not inherently verifiable and may fail to distinguish beneficial strategic patterns from harmful ones. To address this limitation, we propose STRIDE (Strategic Trajectory Reasoning with Discriminative Estimation), a fine-grained RLVR framework that derives strategic reasoning supervision from verifiable outcomes. STRIDE contrasts successful and failed trajectories within each response group to estimate the outcome-discriminative preference of each $n$-gram strategic pattern, and further combines this signal with reasoning saliency entropy to identify decision-relevant strategic patterns. These patterns are assigned differentiated advantage values during RL optimization, enabling more precise credit assignment while preserving the verifiability of RLVR. Extensive experiments demonstrate that STRIDE consistently improves reasoning performance across diverse models, tasks, and extended settings, including VLMs and agent-based systems.

cs.AI↗

arXiv2026

CausalGuard: Conformal Inference under Graph Uncertainty

Estimating treatment effects from observational data requires choosing an adjustment set, but valid adjustment depends on an unknown causal graph. Graph misspecification can cause under-coverage, while graph-agnostic conformal wrappers may regain nominal coverage only through large padding. We introduce CausalGuard, a structure-weighted conformal framework that calibrates after aggregating graph-conditional doubly robust pseudo-outcomes. Candidate DAGs are proposed from an LLM-derived edge prior, pruned by conditional-independence tests, and reweighted by Bayesian Information Criterion. A composite nonconformity score then calibrates the posterior-weighted pseudo-outcome. CausalGuard provides distribution-free finite-sample marginal coverage for this aggregated pseudo-outcome; under causal identification, overlap, conditional-mean nuisance stability, and concentration on target-aligned valid adjustment strategies, its conditional mean converges to the true Conditional Average Treatment Effect. Across five benchmarks, CausalGuard attains mean coverage above the nominal 90% level for the directly evaluable target and reduces width when graph-agnostic conformal baselines require large padding. Stress tests show that CausalGuard suppresses invalid collider adjustment and remains stable under misspecified priors when the retained candidate set is data-supported.

cs.LG↗

arXiv2026

Overcoming Dynamics-Blindness: Training-Free Pace-and-Path Correction for VLA Models

Vision-Language-Action (VLA) models achieve remarkable flexibility and generalization beyond classical control paradigms. However, most prevailing VLAs are trained under a single-frame observation paradigm, which leaves them structurally blind to temporal dynamics. Consequently, these models degrade severely in non-stationary scenarios, even when trained or finetuned on dynamic datasets. Existing approaches either require expensive retraining or suffer from latency bottlenecks and poor temporal consistency across action chunks. We propose Pace-and-Path Correction, a training-free, closed-form inference-time operator that wraps any chunked-action VLA. From a single quadratic cost, joint minimization yields a unified solution that decomposes orthogonally into two distinct channels. The pace channel compresses execution along the planned direction, while the path channel applies an orthogonal spatial offset, jointly absorbing the perceived dynamics within the chunk window. We evaluate our approach on a comprehensive diagnostic benchmark MoveBench designed to isolate motion as the sole controlled variable. Empirical results demonstrate that our framework consistently outperforms state-of-the-art training-free wrappers and dynamic-adaptive methods and improves success rates by up to 28.8% and 25.9% in absolute terms over foundational VLA models in dynamic-only and static-dynamic mixed environments, respectively.

cs.RO↗

arXiv2026

Well-posedness and asymptotic behavior of solutions to a second order nonlocal parabolic MEMS equation

We consider a second-order nonlocal parabolic MEMS equation with Dirichlet boundary conditions: \[ u_t-Δu=\fracλ{(1-u)^2\bigl(1+\int_Ω\frac{1}{1-u}\,dx\bigr)^2},\quad x\inΩ,\ t>0, \] where $Ω\subset\mathbb{R}^N$ $(1\le N\le3)$ is a bounded smooth domain and $λ>0$. Using operator semigroups and the contraction mapping principle, we prove local existence and give a quenching criterion. Under suitable smallness conditions on $λ$ and the initial data, global existence and exponential convergence to the minimal steady state are obtained. Assuming the global solution stays uniformly away from the singularity $u=1$, we show that the system forms a gradient system. By establishing analyticity of the energy and a Lojasiewicz--Simon inequality, we prove that the solution converges to a steady state with either exponential or algebraic rate depending on the Lojasiewicz exponent. Numerical experiments in 1D and 2D illustrate the results and support conjectures on the $λ$-dichotomy.

math.AP↗

arXiv2026

Asymptotic Behaviors of Global Solutions to Fourth-order Parabolic and Hyperbolic Equations with Dirichlet Boundary Conditions

This paper investigates the asymptotic behaviors of global solutions to fourth-order parabolic and hyperbolic equations with Dirichlet boundary conditions. The equations model Micro-Electro-Mechanical Systems (MEMS) and are depending on a positive voltage parameter $λ$. We establish the convergence of global solutions to an equilibrium, along with the convergence rate estimates. Supporting numerical simulations are presented.

math.AP↗

arXiv2026

Asymptotic Behavior of Rupture Solutions for the Elliptic MEMS Equation with Hénon-Type and External Pressure Terms

This paper investigates an elliptic MEMS-Type equation with Henon and external pressure terms: Delta u = lambda|x|^alpha / u^p + F for x in R^N \ {0}, with u(0)=0 and u>0 for x in R^N \ {0}, where N >= 1, lambda > 0, p > 0, alpha > -2 and F in R are constants. We study positive rupture solutions with rupture point at the origin (u(0)=0). Our main emphasis is on asymptotic radial rupture solutions: we prove the existence of both radial and non-radial solutions, characterize their asymptotic behavior near the origin, and obtain a full asymptotic expansion of arbitrary order.

math.AP↗

arXiv2026

Low-Energy, Octave-Spanning Supercontinuum Generation in Ta_2O_5 Waveguides: Towards Optical Coherence Metrology

Supercontinuum generation (SCG) on integrated photonic platforms is a pivotal technology for developing next-generation chip-scale systems for precision spectroscopy and metrology. While significant progress has been made with silicon (Si) and silicon nitride ($Si_3N_4$) platforms, they are often constrained by two-photon absorption (TPA) or moderate nonlinear coefficients, necessitating a trade-off between energy efficiency and bandwidth. Tantalum pentoxide ($Ta_2O_5$), possessing both high nonlinearity and a wide bandgap, emerges as a promising candidate; however, current implementations remain challenged by high pump energy consumption. Here, we report a low-loss $Ta_2O_5$ integrated waveguide fabricated via the Damascene process. It enables the generation of a two-octave-spanning spectrum with a low pulse energy of only 92.9 pJ (60 fs, 1550 nm). Notably, the corresponding peak power is a mere 1.36 kW, which is nearly an order of magnitude lower than that of state-of-the-art comparable broadband sources. Furthermore, at the maximum pump energy, our spectrum exhibits an ultrabroad coverage from 450 nm to 3400 nm, spanning nearly three octaves. Supported by numerical simulations, we analyze the dynamics of soliton fission. Furthermore, a Michelson interferometry system developed using this source exhibits superior performance, achieving not only micrometer-scale axial resolution but also a 6 dB sensitivity roll-off length of 3.1 mm. This exceptional roll-off performance, combined with a displacement measurement sensitivity of 346 nm, underscores the immense potential of the $Ta_2O_5$ platform for applications in biomedical imaging and precision metrology.

physics.optics↗

arXiv2026

Analytic description of the moving moisture front in soils

The fact that moisture propagates in soils at a finite speed is confirmed by natural everyday experience as well as by controlled laboratory tests. In this text, we rigorously derive analytical upper bounds for the speed of moisture front propagation under gravity for the solution to the Richards equation with compactly supported initial data. The main result is an explicit criterion describing a competition between gravity and capillarity, where the dominant effect is determined by the characteristics of the soil. If capillarity prevails, the initially wet regions remain wet for all times, while if gravity is dominant, moisture travels downward at a speed that is asymptotically bounded from below and above. As a by-product, we prove the existence and uniqueness of a solution to an initial value problem for the degenerate Richards equation on the whole space. Numerical simulations based on the proposed model confirm the theoretical predictions, with results that closely match experimental observations.

math.AP↗

arXiv2025

On-chip quadratically nonlinear photodetector

Involving deterministically nonlinear photoresponse in on-chip photodetector is intriguing to develop sophisticated functions in photonic integrated circuits, such as in-sensor computing and optoelectronic mixing, though the corresponding devices are still lack of sufficient investigation. Here, we demonstrate an on-chip quadratically nonlinear photodetector (QNPD) by configuring an InSe p-i-n homojunction on a silicon waveguide. Telecom-band light guiding in the waveguide couples with the InSe evanescently and is frequency up-converted into visible light via InSe's second-harmonic generation (SHG), which is subsequently absorbed by InSe and finally generates photocurrent under the built-in electric field of the p-i-n homojunction. Governed by these sequential processes, the on-chip QNPD presents a quadratic function between photocurrent and optical power. Thanks to the efficient SHG and well-established homojunction in InSe, the QNPD reaches a high normalized responsivity of 37.1 A/W2 and low dark current of 1 pA, representing greatly improved performances among reported nonlinear photodetectors. Benefiting from the extra SHG process, the on-chip QNPD intrinsically incorporates light-light interactions, enabling straightforwardly monitoring all-optically mixing signals electrically. As an example, an array of 16-pixel QNPDs was designed to implement a fully single-shot on-chip autocorrelator without requirement of bulky optics and external cameras, which precisely measures picosecond pulses with high sensitivity of 6.1*10-10 W2.

physics.optics↗

arXiv2025

Keyword search is all you need: Achieving RAG-Level Performance without vector databases using agentic tool use

While Retrieval-Augmented Generation (RAG) has proven effective for generating accurate, context-based responses based on existing knowledge bases, it presents several challenges including retrieval quality dependencies, integration complexity and cost. Recent advances in agentic-RAG and tool-augmented LLM architectures have introduced alternative approaches to information retrieval and processing. We question how much additional value vector databases and semantic search bring to RAG over simple, agentic keyword search in documents for question-answering. In this study, we conducted a systematic comparison between RAG-based systems and tool-augmented LLM agents, specifically evaluating their retrieval mechanisms and response quality when the agent only has access to basic keyword search tools. Our empirical analysis demonstrates that tool-based keyword search implementations within an agentic framework can attain over $90\%$ of the performance metrics compared to traditional RAG systems without using a standing vector database. Our approach is simple to implement, cost effective, and is particularly useful in scenarios requiring frequent updates to knowledge bases.

cs.IR↗

arXiv2025

NEBULA: Do We Evaluate Vision-Language-Action Agents Correctly?

The evaluation of Vision-Language-Action (VLA) agents is hindered by the coarse, end-task success metric that fails to provide precise skill diagnosis or measure robustness to real-world perturbations. This challenge is exacerbated by a fragmented data landscape that impedes reproducible research and the development of generalist models. To address these limitations, we introduce NEBULA, a unified ecosystem for single-arm manipulation that enables diagnostic and reproducible evaluation. NEBULA features a novel dual-axis evaluation protocol that combines fine-grained capability tests for precise skill diagnosis with systematic stress tests that measure robustness. A standardized API and a large-scale, aggregated dataset are provided to reduce fragmentation and support cross-dataset training and fair comparison. Using NEBULA, we demonstrate that top-performing VLAs struggle with key capabilities such as spatial reasoning and dynamic adaptation, which are consistently obscured by conventional end-task success metrics. By measuring both what an agent can do and when it does so reliably, NEBULA provides a practical foundation for robust, general-purpose embodied agents.

cs.RO↗

arXiv2024

New measurement method for weak magnetic fields using magnetically induced deformation of chemical bonds in Co-CsPbBr3 quantum dots

The research on weak magnetic field detection is of great significance in advancing the development of bioscience, aerospace, chip manufacturing and other fields. However, the weak magnetic detecting still face some problems, including the large size of the detectors and the limited detection scale. To contribute to the detection of weak magnetic fields, the Co-CsPbBr3 colloidal quantum dots (QDs) composite magnetic material was synthesised on the basis of the theory of room temperature ferromagnetism, molecular polarisation and vibration level of chemical bond. The synthesis involved the mixing of Co2+ into CsPbBr3, an all-inorganic perovskite with activated ions. Subsequently, a weak magnetic field measurement system was devised, comprising working medium samples and a vibration level detection optical path. Following the acquisition, comparison, processing and analysis of multiple data sets, a Stokes displacement function model was established under different magnetic field sizes and the weak magnetic field intensity range of Pitsla (pT) was measured. The Pitsla weak magnetic field measurement system proposed in this paper provides a reference for the development of non-contact weak magnetic measurement methods and for the advancement of intelligent and low-dimensional weak signal measurement applications.

physics.optics↗