arXiv subjects

Yan Wang

Publications and source records attributed to Yan Wang.

At least 19 recordsLinked to original sources

arXiv2026

MemVLN: Streaming Episodic Memory for Vision-Language Navigation

Vision-language navigation (VLN) requires an embodied agent to follow language instructions through 3D environments. Maintaining persistent episodic memory remains a challenge for VLM-based streaming agents in long-horizon navigation. We present MEMVLN, a streaming episodic memory framework that maintains a bounded bank of compressed perceptual features annotated with timesteps and action-derived relative poses, and produces compact memory tokens via cross-attention. We pair the proposed memory with a frozen pretrained geometry encoder. To learn the memory module, we design a masking-based trajectory summarization task with multi-granularity sub-trajectory decomposition, encouraging route reconstruction exclusively from episodic memory. Under navigation training restricted to the official R2R/RxR trajectories, MEMVLN achieves state-of-the-art performance on most reported metrics on standard VLN-CE benchmarks. Long-horizon analyses further characterize when episodic memory is useful. For physical evaluation, we collect 30 instruction-conditioned episodes in one physical scene, use 24 as demonstrations for post-training, and hold out six for testing. On the held-out episodes, MEMVLN improves success over the VLM baseline from 17% to 40%, and post-training further raises it to 47%.

cs.CV↗

arXiv2026

FAMIR: Future-aligned latent dynamics for complex-flow forecasting

Learned flow surrogates are applied recursively, so errors in phase, amplitude and transport accumulate as each prediction feeds the next. During training, however, the realized next state is known. We propose Future-Aligned Motion Inference for Recursive Physical Forecasting (FAMIR), which uses this realized future to shape the signal that drives the update, not only the predicted state. On the latent grid of a frozen autoencoder, a future-conditioned teacher and a history-only student infer motion tensors that condition one shared residual transition. Posterior--Prior Motion Alignment (PPMA) jointly aligns the teacher (posterior) and student (prior) motions, prediction-fed multistep objectives train the student on its own rollouts, and only the student is deployed. On viscoelastic channel flow, Rayleigh--Bénard convection and planetary shallow-water flow, FAMIR achieves lower complete-prefix normalized root-mean-square error than three direct latent predictors of comparable size and a delay-embedded linear reference at ten steps (1.003\%, 1.055%, 0.620%) and twenty steps (1.661%, 1.683%, 1.036%). Its advantage is largest at the first step in the viscoelastic flow and grows with lead time in the other flows. Over forty-step forecasts, FAMIR keeps fluctuation profiles and probability densities closer to the reference than the direct predictors. Without the teacher, the motion-conditioned student already outperforms the direct predictors; in the shallow-water flow, prediction-fed rollouts are decisive and joint alignment is far more effective than distillation toward a fixed teacher (1.036% against 1.874%). Fixed-state interventions show that the trained update relies on the state-specific motion, and the deployed student matches the one-step accuracy of the future-informed teacher.

physics.flu-dyn↗

arXiv2026

Weakness Localization Is Not Enough: State-Aware Recursive Knowledge Improvement for Large Language Models

Knowledge improvement in large language models is shifting from predefined knowledge incorporation pipelines toward evaluation-guided updating. Existing methods use evaluation to localize model-specific knowledge weaknesses and guide targeted post-training. However, identifying what to improve does not necessarily provide sufficient information for deciding how to improve it. The same localized weakness can be compatible with distinct operational knowledge states: the relevant knowledge may be unavailable, available but difficult to access reliably, or accessible but ineffective for downstream use. We call this ambiguity knowledge-state aliasing. When compatible states favor different interventions, greater diagnostic resolution alone is insufficient for intervention selection. Moreover, model updates can change the underlying knowledge state before the observed weakness disappears, such that an intervention appropriate in one round may no longer address the bottleneck in the next. To address these challenges, we propose Recursive Knowledge Improvement (RKI), which formulates knowledge improvement as a sequential, state-aware intervention process. RKI organizes knowledge into graph-structured units that provide a shared basis for diagnostic evaluation and targeted intervention across rounds. At each round, RKI localizes knowledge weaknesses, estimates the model's operational knowledge state from diagnostic evidence and intervention history, selects a corresponding intervention, and re-evaluates the updated model before determining the next intervention. On HotpotEval and SafeInternalEval, RKI outperforms existing knowledge incorporation methods by 18.41 points on average. Further analyses show that knowledge states provide additional guidance for intervention selection beyond weakness localization and can change across model updates even when the observed weakness persists.

cs.CL↗

arXiv2026

TraceForge: Distilling with Your Own Thinking

Using an LLM to generate training data for another is among the most general ways to train one, and it remains common practice. Some frontier teams have closed that route for their own models: what comes back is an answer, or a short summary, without the detailed reasoning trace behind it. That is a little ironic: they were themselves built on distilling human knowledge, and distilling an open-source model is still entirely routine; the restriction applies to their own outputs alone. Recent work recovers the hidden reasoning by replaying encrypted blocks across models. It somehow works, but it breaks the providers' terms of service, so it is not something a product can be built on long-term. We built the alternative. We take the context and the teacher's answer as input, and generate the reasoning trace ourselves, in the style of the student's own model family. Training is two-stage, supervised and then adversarial: a generator learns to regenerate the family's own reasoning traces from their context and answer, and a critic learns how real a reasoning trace looks. Applied to a teacher's answer, the generator writes one in the family's style. An independent judge rates how likely traces are to be genuine on a scale from 0 to 1: ours average 0.68, real traces 0.66, and traces selected by the critic from four candidates 0.82. These are authenticity scores, not correctness rates. We test the idea on five benchmarks with everything else held fixed. On general tasks the five training corpora are about the same; on coding, the generated reasoning beats Fable 5's own thinking content. With the same 5,000 questions and the same teacher answers, HumanEval+ improves by 3.7 points and MBPP+ by 7.1 at the final checkpoint, and the MBPP+ lead holds at every checkpoint. We suspect that reasoning written in the student's family style is easier for it to learn from.

cs.AI↗

arXiv2026

Harness-Model Collaboration for Long-Horizon Continual Learning

Long-horizon agents continuously encounter reusable procedural knowledge, yet existing systems typically rely either on model adaptation or external memory, trading persistent learning for rapid reuse. This limitation is especially important for Web agents that repeatedly execute related multi-step workflows. We propose HaMo, a Harness-Model collaborative framework that combines fast non-parametric experience accumulation with slow parametric adaptation. HaMo distills trajectories into strategy-level experience cards for immediate retrieval, while an experience-conditioned continual learning objective trains the model to interpret, ground, and execute retrieved strategies across changing contexts. A retrieval-coverage-based selection mechanism further identifies compact and complementary trajectories for parameter updates. Experiments show that HaMo outperforms harness-only and model-only adaptation under within-domain and cross-domain shifts, improving both retention and adaptation. These results highlight the importance of jointly preserving procedural experience and internalizing the competence to transfer and execute it across tasks.

cs.AI↗

arXiv2026

An explicit third-order low-regularity integrator for the cubic nonlinear Schrödinger equation

In this paper, we propose an explicit third-order low-regularity integrator for the cubic nonlinear Schrödinger equation on the one-dimensional torus $\mathbb{T}$. By carefully designing numerical approximations for the integrals in Fourier space, we construct a third-order scheme and provide a rigorous global error analysis. More precisely, we prove that the scheme achieves third-order convergence in $H^{r}(\mathbb{T})$ for the initial data in $H^{r+4}(\mathbb{T})$ with $r>1/2$. Furthermore, the third-order convergence in $L^{2}(\mathbb{T})$ is established for the initial data in $H^{4}(\mathbb{T})$. Numerical experiments are presented to confirm the theoretical convergence results.

math.NA↗

arXiv2026

Graham's rearrangement conjecture in finite abelian groups

Graham conjectured in 1971 that every subset of the nonzero elements of a prime cyclic group admits an ordering with pairwise distinct nonempty partial sums. Recently, the work of Pham and Sauermann, together with earlier results, settled this conjecture for all sufficiently large primes. In this paper, we prove that there is an absolute integer $n_0$ such that every subset $S\subseteq G\setminus\{0\}$ of a finite abelian group with $|S|\ge n_0$ admits such an ordering, which also solves a conjecture of Alspach and Liversidge for all sufficiently large sets. A key ingredient of our proof is a sufficient condition via additive dimension: If $|S|=n$ and $S$ contains a dissociated subset of size at least $Ω((\log n)^2/\log\log n)$, then $S$ has an ordering in which no proper nonempty interval of consecutive terms sums to zero. This bound is within a factor of $O(\log n/\log\log n)$ of the smallest possible additive dimension of an $n$-element set.

math.CO↗

arXiv2026

EOPSA: Efficient On-Policy Self-Distilled Safety Alignment

On-Policy Self-Distillation (OPSD) has emerged as a promising paradigm for safety alignment, delivering dense, token-level supervision by distilling from a teacher conditioned on refusal-oriented privileged prompts. However, we reveal that this paradigm suffers from critical inefficiencies that degrade both training efficiency and general reasoning capabilities. Specifically, we diagnose two fundamental bottlenecks: (1) supervisory collapse over extended rollouts, where the teacher's corrective efficacy degrades precipitously as the student's generation prefix lengthens, injecting noisy gradients into late-stage tokens; and (2) gradient dilution from stylistic shifts, where the distillation objective is dominated by safety-irrelevant stylistic discrepancies induced by privileged prompting, washing out genuine safety signals and impairing base reasoning. To resolve these issues, we propose Efficient On-Policy Self-Distilled Safety Alignment (EOPSA), which concentrates computational and gradient budgets exclusively on reliably supervised, safety-critical tokens. EOPSA incorporates two coordinated mechanisms: (i) Adaptive Rollout Scheduling, which dynamically bounds the generation horizon guided by a novel Teacher Rescue Rate (TRR) metric to operate strictly within reliable supervision regimes; and (ii) Selective Distillation, which filters out safety-neutral tokens to restrict gradient updates exclusively to safety-pivotal transitions. Extensive evaluations across reasoning models up to 32B parameters demonstrate that EOPSA slashes rollout computation by $\sim$50% and backpropagates through merely $\sim$2% of tokens, consistently outperforming full-token distillation baselines in both safety compliance and reasoning retention.

cs.AI↗

arXiv2026

Better Reasoning, Not Just Bigger Models: A Structure-Grounded Framework for Efficient and Reliable Inference

Scaling large language models has substantially improved linguistic fluency, yet reliable autonomous agents require more than fluent generation. In multi-turn inference, current agentic systems often produce semantically plausible but structurally ungrounded reasoning, especially under incomplete observations. We propose Structure-Grounded Uncertainty Reduction (SGUR), a training-free framework that complements token-level generation with active uncertainty reduction over structured hypothesis spaces. SGUR represents incomplete observations as a query graph and aligns them with candidate hypothesis graphs through a prior-weighted partial graph matching mechanism, where database-derived empirical priors assign greater importance to decision-relevant relations rather than treating all graph edges uniformly. The resulting inference state is iteratively refined by an active information-gain strategy that selects the next most informative node to query, systematically pruning the candidate space. We instantiate SGUR on a challenging PrimeKG-derived sequential medical diagnosis benchmark, demonstrating that structural grounding can partially substitute for model scale: starting from only two observed symptoms, SGUR achieves 92.5% Hit@3, outperforming the strongest Graph-RAG baseline by 9.4 percentage points while using approximately 5x fewer tokens. Notably, SGUR enables smaller backbone models to match or exceed the performance of models up to 10x larger, suggesting that structural grounding provides a more robust and efficient paradigm for scaling agent performance than relying exclusively on increasing model size.

cs.AI↗

arXiv2026

Yuvion VL: A Multimodal Foundation Model for Adversarial Content and AI Safety

General-purpose models often struggle to reliably identify and understand real-world multimodal risks, largely due to the inherent multimodal adversarial nature of content and AI safety. We present Yuvion VL, a family of multimodal large language models purpose-built for content and AI safety, with both instruction-tuned and reasoning-oriented variants. Yuvion VL addresses this gap by treating safety as an inherently adversarial and multimodal problem and designing the entire pipeline around adversarial robustness. For data construction, we develop an automated pipeline integrating adversarial-aware data synthesis with multi-stage quality control, producing large-scale, high-quality multimodal samples augmented with domain knowledge and reasoning annotations. For training, we adopt a three-stage pipeline that includes continued pretraining for risk-concept cross-modal alignment, instruct post-training for production-grade safety tasks, and reasoning post-training for enhanced interpretability and performance in complex tasks. We further introduce Confuse-then-Contrast Fine-Tuning, a contrastive framework that mines model-specific confusions and constructs multi-image contrastive groups to enforce explicit discrimination of fine-grained visual-semantic elements, enabling the model to distinguish between visually similar cases with different safety implications in adversarial safety tasks. To support rigorous evaluation, we further introduce Yuvion VL RiskEval (YVRE), a collection of benchmarks covering diverse open and internal evaluations, with a focus on content and AI safety, adversarial robustness, and real-world capability requirements. Experiments show that Yuvion VL-32B achieves industry-leading safety performance, surpassing comparably sized open-source models and best closed-source commercial models, while maintaining comparable general capabilities.

cs.CV↗

arXiv2026

Recognition Is Not Grounding: Benchmarking Multilingual Financial Evidence Extraction

Comparing financial disclosures across languages requires identifying shared accounting concepts and recovering all numerical facts that express them. Existing benchmarks evaluate aspects of these capabilities, but provide limited insight into whether both succeed on the same multilingual evidence. In particular, it remains unclear whether language models can recognize these concepts across languages and exhaustively recover their corresponding numerical evidence from the same contexts. We introduce MULTIFINGROUND, a benchmark designed to investigate this recognition-grounding gap in multilingual financial reports. Constructed from FY2025 disclosures of 90 issuers in English, French, and Greek, MULTIFINGROUND aligns independently authored reports through a shared accounting taxonomy and provides traceable fact-level annotations. The benchmark evaluates financial fact identification, concept recognition, exhaustive fact selection, and concept discrimination without candidate labels. Across 15 evaluated models, eight API and open-weight reference models achieve 97.3-99.4% concept recognition accuracy, yet miss at least one target fact in 26.6-41.9% of correctly recognized groups. Further analyses reveal substantial variation in concept discrimination and limited gains from the evaluated finance-specialized models. Our findings demonstrate that strong concept recognition can coexist with incomplete evidence recovery, highlighting the importance of evaluating semantic recognition and evidence completeness together.

cs.AI↗

arXiv2026

Herculean: An Agentic Benchmark for Financial Intelligence

As AI agents advance, the central question is no longer whether they can solve isolated financial tasks, but whether their capabilities generalize across complete professional workflows. Existing benchmarks cannot answer this question because they evaluate either static competencies or agents within a single interaction structure. We introduce Herculean, a benchmark of end-to-end agentic financial intelligence that crosses agent architecture, backbone model, and four structurally distinct workflows: Trading, Hedging, Market Insights, and Auditing. Each workflow is implemented as an MCP skill that preserves its native state, actions, constraints, and outcome criteria, allowing intact agent systems to be evaluated under matched external conditions. Across 30 architecture--backbone configurations, we find that agent capability is not globally ordered. Workflow rankings are weakly aligned, changing the architecture frequently reverses performance under the same backbone, and each architecture concentrates failure in different forms of workflow control. These results establish that agent performance is an interaction between architecture and workflow demand, rather than an intrinsic property of the underlying model. Consequently, success on a single financial workflow provides little evidence of dependable, general financial intelligence.

cs.AI↗

arXiv2026

Axial Mode Stability and Quasinormal Modes of Charged Kiselev Black Holes in Rastall Gravity

We investigate axial gravitoelectromagnetic perturbations of charged black holes surrounded by dust-like Kiselev-type anisotropic matter in Rastall gravity. We derive the axial matter compatibility condition and construct a compatible response by holding the covariant anisotropy-direction vector unperturbed. The resulting gravitational and electromagnetic perturbations obey two coupled Schrodinger-type master equations. An r-independent algebraic decoupling exists in the Reissner-Nordstrom and general-relativistic dust-like limits; additional radial structure obstructs it in generic charged Rastall backgrounds with nonzero surrounding matter. We prove axial mode stability under the adopted closure for every nonextremal background satisfying the stated exterior conditions, covering all physical axial multipoles. A matrix S-deformation excludes exponentially growing coupled modes for l >= 2, while the physical electromagnetic dipole has a positive effective potential. A Chebyshev pseudospectral calculation, validated against the Reissner-Nordstrom spectrum and spectral convergence, determines the fundamental frequencies. In the parameter ranges examined, increasing the Rastall coupling lowers both the oscillation frequency and the damping rate in the small-coupling region; in the large-coupling region, the oscillation frequency rises while the damping rate varies nonmonotonically. A larger charge generally raises the oscillation frequency, whereas stronger surrounding-matter contributions produce longer-lived modes.

gr-qc↗

arXiv2026

UniDeblur: Unified Motion Deblurring via Fourier Convolution Learning

Image deblurring is a fundamental task in computer vision, yet existing methods mainly specialize in isolated scenarios. Consequently, the deblurring performance of these models drops significantly across scenarios with different cameras and image contents. This motivates the development of a unified motion deblurring framework that can handle diverse blur patterns. To this end, we construct a multi-source dataset and develop a data pruning and quality control pipeline. Then, to restore blur images with various motion blur kernels across different scenarios, we propose a unified motion deblurring framework via Fourier Convolution Learning. Existing deblurring networks usually rely on pixel-level mappings and overlook the convolutional nature of blur. Thus, the network mostly fits the image content itself rather than learning the convolution process, making it difficult to handle multi-source blur images. Instead of relying on spatial mapping, we perform blur-adaptive global filter learning in Fourier space, which avoids the limited spatial support of kernel estimation. Extensive experiments demonstrate that our unified model effectively handles motion blurs across diverse sources and scenes, achieving competitive performance across both in-domain and OOD benchmarks. Code has been released at github.com/DeepMed-Lab-ECNU/Single-Image-Deblur.

cs.CV↗

arXiv2026

Rich-neighbor 5-edge-colorings of subcubic graphs whose 3-vertices induce a matching

Let $φ$ be a proper edge-coloring of a graph $G$. An edge is called rich if all edges adjacent to it receive pairwise distinct colors. The coloring $φ$ is a rich-neighbor edge-coloring if every non-isolated edge is adjacent to a rich edge. Petruševski and Škrekovski introduced this notion as a relaxation of strong edge-coloring and conjectured that every connected subcubic graph other than $K_4$ admits a rich-neighbor $5$-edge-coloring. We establish the conjectured bound for every subcubic graph $G$ satisfying $Δ(G[V_3])\leq 1,$ where $V_3$ is the set of vertices of degree $3$ in $G$. Equivalently, the $3$-vertices of $G$ induce a matching together with isolated vertices. This extends the result of Chen, Tan and Zhou for subcubic graphs with no adjacent $3$-vertices.

math.CO↗

arXiv2026

AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification

Structured financial reporting verification requires connecting reported facts to accounting constraints, reconstructing expected values, and executing numerical checks. We study this problem through XBRL numerical consistency verification and introduce \textsc{AuditFlow}, a graph-grounded multi-agent framework built around an executable symbolic environment. The environment links a reusable US-GAAP taxonomy graph with filing-specific XBRL evidence and provides typed tools for retrieval, traversal, computation, and rule evaluation. Two specialized auditors investigate constraints and filing evidence, while a senior auditor coordinates disagreement-triggered refinement. Deterministic tools produce verification evidence; evidential aggregation combines structured reports, including agent-declared overrides, into final decisions. On a newly collected 1{,}000-instance evaluation set of engine-recorded DQC violations, \textsc{AuditFlow} achieves $87.70\%$ joint audit accuracy with Claude Sonnet 4.6, compared with $68.60\%$ for Single Agent and $86.70\%$ for Checker-only. Component and coverage analyses identify executable verification as the main source of accuracy, while additional gains from agent judgment depend on the backbone and checker coverage.

cs.AI↗

arXiv2026

Factorized Hypothesis Search for Evidence-to-Taxonomy Retrieval

Large-taxonomy retrieval often assumes that the input already expresses the target concept. In many settings, however, the input is indirect evidence, such as a table cell whose meaning depends on its row, column, datatype, and context. We call this mismatch the retrieval readiness gap. Our analysis shows that the current index retrieves the target reliably when its semantics are explicit, while raw evidence often leaves it deep in the ranking. We propose Factorized Hypothesis Search (FHS), which maintains multiple partial interpretations over named semantic dimensions. These hypotheses support structured query rendering, multi-hypothesis retrieval, and dimension-level candidate verification. On both financial taxonomy tagging and CodiEsp clinical coding tasks, FHS achieves the best Recall@1, MRR, and final accuracy among the non-oracle methods. Replacing the factorized hypothesis path with a free-text ensemble causes the largest drop in head-ranking performance, while sequential refinement provides no additional gain over FHS's strong parallel first round.

cs.CL↗

arXiv2026

TacitVLA: Reasoning Vision-Language-Action Models Without Reasoning Latency

Textual reasoning before acting has improved vision-language-action (VLA) models, but at the cost of latency: every action conditioned on the reasoning text must wait for autoregressive decoding. We show that actions do not need to wait for or condition on the generated reasoning to benefit from it, because the reasoning supervision already improves the backbone representation. We introduce TacitVLA, a reasoning VLA whose action expert never attends to the reasoning it generates for the current call. On long-horizon tasks where the reasoning text also serves as episodic memory, it can generate each entry during action execution rather than before acting. We evaluate it in a controlled study on four benchmarks spanning manipulation and autonomous driving, memory and non-memory tasks: RoboMME, RMBench, LIBERO, and PhysicalAI-AV. On all four, TacitVLA matches the performance of its explicit-reasoning counterpart at up to 3.4x lower latency, and matches the latency of the same architecture trained without reasoning at up to +17.1% success. In absolute terms, it surpasses the best previously published results on the RoboMME Counting suite (82.7% vs. 66.8%) and RMBench (77.5% vs. 56.5%), and reaches 72.9% on LIBERO-Plus and a 52.5% scene score on the public split of the PhysicalAI-AV closed-loop driving challenge. Project page: https://tacitvla.github.io.

cs.AI↗