arXiv subjects

Ziyi Zhang

Publications and source records attributed to Ziyi Zhang.

At least 19 recordsLinked to original sources

arXiv2026

Context-Specific Instruction: A Longitudinal Study on Debugging Skill Acquisition and Retention for Novice Programmers

Bug localization is a critical skill, yet novices often lack systematic approaches. Prior work tested abstract guidelines and general concrete steps; the impact of context-specific instruction is unclear. We ran an eight-week longitudinal study with four conditions: no instruction (G1), abstract guidelines (G2), concrete steps (G3), and our context-specific instruction that pairs concrete bug-localization steps with problem-specific details (G4). Forty-four undergraduates participated; 41 completed all five sessions (S1-S5). Each session included 2-3 debugging tasks to identify the minimal code element containing a seeded logical fault. We measured correctness (binary), time to completion, self-perceived scores (stress, difficulty, satisfaction, and strategy adherence). G4 achieved higher correctness and shorter time to completion: it reached 80% correctness after one session (vs. 20-44% for other groups) and maintained 80% after three weeks, outperforming all groups (p < 0.05); its time to completion stabilized at 13-15 minutes in S1, whereas other groups took 2-3 sessions to stabilize at 22-27 minutes. Qualitative responses showed lower stress and higher satisfaction in G4, with participants internalizing strategies via contextual examples. We conclude that context-specific instruction yields faster skill acquisition and stronger retention than abstract guidelines or context-agnostic steps. Even 1-2 sessions produced significant gains, while extended practice optimized and stabilized performance. Integrating contextual examples with abstract principles may bridge theory-practice gaps in bug-localization education and provide a more equitable path for novices.

cs.SE↗

arXiv2026

WorldFailBench: Do World Models Understand Policy Failures?

Robot policy evaluation informs deployment decisions and policy improvement, but physical testing and simulator preparation require substantial effort. World models offer a complementary route through closed-loop interaction in generated environments. Recent benchmarks have demonstrated their potential as policy evaluators through outcome-based evaluation (i.e., assessing task success or failure). However, such evaluation does not establish whether world models faithfully simulate how policies fail. Misrepresenting failures can lead to incorrect diagnoses of policy weaknesses and make policies appear ready for deployment even when small scene changes cause them to fail. We therefore ask: do world models faithfully simulate how and at which stages policies fail, and under what conditions they transition from success to failure? To answer this question, we introduce WorldFailBench with three evaluation tasks. Failure reason tests whether models reproduce the observable errors policies make. Failure stage assesses whether failures concentrate at the same stages of full-task execution. Failure boundary examines whether models reproduce the conditions under which policies transition from success to failure under controlled scene changes in simulation. The benchmark covers manipulation tasks in the LIBERO and RoboTwin simulation environments and real-world manipulation tasks performed by the G1 humanoid robot. Experiments across seven world models reveal substantial gaps in their understanding of policy failures, providing guidance for developing more reliable world models for policy evaluation.

cs.RO↗

arXiv2026

SAHG: Sector-Anisotropic Hyperbolic Graph Model for Social Bot Detection

LLM-driven social bots can generate fluent, human-like text, reducing the discriminative advantage of content-based detection alone. However, coordinated campaigns still leave relational patterns -- interactions, behavioral similarity, shared neighborhoods, community positions, and coordinated activity -- that graph-based methods can exploit. Existing graph detectors face two challenges when exploiting such evidence. First, Euclidean GNNs distort hierarchical and scale-free social graphs; while hyperbolic geometry addresses this volume-growth mismatch, fixed-curvature models still assign uniform geometric resolution to structural directions with different densities and separation needs. Second, relational evidence is not always reliable: sophisticated bots forge heterophilic connections with genuine users, causing neighborhood aggregation to mix bot and human signals and dilute account-level evidence. We propose SAHG (Sector-Anisotropic Hyperbolic Graph), addressing both challenges. SAHG learns a direction-dependent curvature field $γ(u)$ that adapts geometric resolution across structural directions, and uses sector prototypes to convert angular concentration and alignment into classifier-readable features. To prevent contaminated aggregation from overwhelming account-level evidence, SAHG encodes per-account features and graph-neighborhood representations in two independent SAH channels, fusing them only at the classifier. Experiments on Fox8-23, BotSim-24, and MGTAB show that SAHG achieves the highest accuracy and F1 on all three benchmarks, outperforming feature-based, graph-based, LLM-based, and isotropic hyperbolic baselines. Ablation and geometric analyses confirm the effectiveness of the anisotropic geometry and dual-channel design.

cs.SI↗

arXiv2026

Auditor-Assisted Summary-Channel Verification for Hosted LLM Identity Substitution

Hosted LLM services increasingly expose model identity as a product claim, but external users and auditors often cannot inspect which model configuration served a request. We study an auditor-assisted regime in which a trusted auditor enrolls claimed identities and prepares verification material before deployment, while audit-time verification uses only the claimed identity and released output, without runtime access to model internals, inference logs, routing decisions, or provider metadata. We propose SUMMARK, a summary-channel watermarking framework that uses user-visible reasoning summaries as a keyed audit surface. During setup, SUMMARK constructs identity-specific vocabulary carriers, trains lightweight summary adapters, and calibrates per-identity thresholds. At deployment time, a keyed statistical test assesses whether the released summary is consistent with the claimed identity and, when needed, attributes the most likely enrolled identity. Across model families, scales, and task domains, SUMMARK reliably detects cross-family and cross-scale substitutions at low false-positive rates while preserving task-facing answer quality. We further study FP16->INT8/INT4 precision-consistency diagnostics and robustness under bounded post-processing, rewriting stress tests, and text-only spoofing, revealing both strong performance and clear failure boundaries. Our code is publicly available at https://github.com/trinitr0toluene/Summark.

cs.CR↗

arXiv2026

Inspectable LLM-Simulated Participants for Qualitative Interview Rehearsal

LLMs are increasingly used across research workflows, including research ideation, qualitative analysis, and participant simulation. Within work on participant simulation, prior studies have largely evaluated simulated participants by how realistic or human-like their responses appear, leaving less known about how researchers use and critique these materials when revising interview protocols before fieldwork. We present Rehearsim, an inspectable research probe that treats LLM-simulated participants as materials for methodological rehearsal rather than substitutes for human participants. Rehearsim combines literature-grounded participant construction, interactive interview rehearsal, and traceable thematic review while keeping protocol decisions under researcher control. In a study with 21 qualitative researchers, participants used simulated materials to surface assumptions and gaps, reconsider participant populations, revise target populations, and develop follow-up probes. They also identified risks, including the concealment of weak questions, dismissal of unexpected synthetic details, and interpretive anchoring from generated themes. We derive an inspectable-rehearsal framework emphasizing traceability, contestability, researcher control, and epistemic boundaries.

cs.HC↗

arXiv2026

HilbertGen-3D:Hilbert--Multifractal Conditioning for Topology-Aware 3D Generation

High-fidelity 3D generative modeling underpins game asset creation, medical imaging, and VR/AR environmental design, where geometric structure directly influences perception and decision-making. Diffusion models represent a powerful paradigm for point cloud generation. However, existing approaches rely heavily on local voxel or patch features and often miss global structural organization, and much less work has studied how global conditioning can be used to improve generation quality. In this paper, we introduce HilbertGen-3D, a novel topology-aware conditional diffusion framework based on Hilbert-Multifractal Conditioning (HMC). HMC computes multi-scale voxel measures, serializes them via a 3D Hilbert curve to expose structured spatial dependencies, and estimates the generalized fractal dimensions from scale-dependent partition functions. We encode these signals as global embeddings and multi-scale tokens, and inject them into a diffusion denoiser through an efficient bottleneck fusion module. Across the Chair, Airplane, and Car categories of ShapeNet, our two conditioning variants reduce the absolute deviation of 1-Nearest Neighbor Accuracy (1-NNA) from 50% by up to 8.90 percentage points and increase coverage by up to 5.88 percentage points relative to TopoDiT-3D. This shows that combining local density cues with global Hilbert-multifractal structure provides a simple and effective recipe for high-fidelity and diverse 3D generation.

cs.CV↗

arXiv2026

Learning Granger Causality under Latent Confounding via Intervention-Induced Heterogeneity

Granger causality characterizes directed predictive dependencies in multivariate time series, but recovering such dependencies becomes challenging in the presence of latent confounding. Cross-environment invariance provides a natural source of information in heterogeneous settings, yet invariance alone can be insufficient: when latent-to-observed mechanisms remain stable, hidden confounders can induce predictive dependencies that are just as invariant as genuine Granger-causal relations. We show that interventions provide an additional source of identifying information by inducing structured variation in observed mechanisms, while stable latent pathways need not exhibit the same cross-environment changes. In practice, however, neither the intervened environments nor the affected mechanisms are known. We propose GRACE, a framework for learning Granger causality under latent confounding from intervention-induced heterogeneity. GRACE decomposes multivariate dynamics into a shared Granger mechanism, sparse environment-specific deviations that capture edge-level interventions, and a latent component that accounts for confounding. Under a linear generative model, we show that GRACE can recover which environments intervene on a given edge when the edge is perturbed in at least one but fewer than half of the environments and the intervention effect is sufficiently large to survive sparsity shrinkage; the recovered intervention pattern then provides a certificate for the corresponding Granger causal edge. Experiments on synthetic and real-world time series demonstrate improved Granger causal structure recovery under latent confounding and unknown interventions.

cs.LG↗

arXiv2026

The r-Safety Reserve and Adaptive Kinematic Smoothing for Car-Following Transitions

Longitudinal spacing models describe the speed--spacing states that vehicles maintain, while longitudinal controllers regulate vehicle motion through spacing and speed errors. Less explicit is how one spacing state should be connected to another through a finite, physically meaningful vehicle transition. This paper develops such a connection through r-Safety and Adaptive Kinematic Smoothing (AKS). The r-Safety relation represents speed-dependent spacing through a braking-normalized reserve, whose change, together with leader motion, determines the follower displacement required during a transition. AKS then converts this displacement into a low-dimensional analytical trajectory with consistent position, speed, spacing, and acceleration. Experiments using controlled platoons and NGSIM trajectories identify r-Safety values of 0.307 and 0.249--0.281, respectively, and show that AKS can both represent observed transitions and generate prospective references under prescribed endpoint states, transition horizons, and leader motion. In same-controller ablations, adding AKS reduces integrated acceleration effort by 21--47% and integrated squared jerk by 73--81% across the controlled and naturalistic datasets. FHWA ACC/CACC trajectories further provide an empirical illustration of finite-horizon execution under automated following, showing how spacing adjustment can continue beyond the prescribed speed transition. The framework therefore provides a direct path from a speed--spacing relation to an analytical finite transition and its use as a longitudinal control reference.

math.OC↗

arXiv2026

Nakai-Moishezon type criteria for Hessian type equations on compact Kähler manifolds

We establish numerical criteria for polynomial positivity of real $(1,1)$-classes on compact Kähler manifolds for strictly right-Noetherian polynomials. As applications, we obtain existence and uniqueness for the generalized Monge-Ampère equations with a smooth zeroth coefficient, the complex Hessian and Hessian quotient equations, and the critical LYZ equation. We also characterize the cone of $k$-positive classes as a connected component of a numerical positivity cone.

math.DG↗

arXiv2026

The geometric classification of Novikov-Poisson and Gelfand-Dorfman algebras

We give the geometric classification of complex 3-dimensional Novikov-Poisson and Gelfand-Dorfman algebras. In particular, we prove that the variety of complex 3-dimensional Novikov-Poisson algebras is 12-dimensional; it has 4 irreducible components and has no rigid algebras; the variety of complex 3-dimensional Gelfand-Dorfman algebras is 11-dimensional; it has 10 irreducible components and has 3 rigid algebras. As an additional result, we have the geometric classification of complex 3-dimensional Novikov algebras: it is 9-dimensional, and it has $4$ irreducible components with one rigid algebra.

math.RA↗

arXiv2026

PC-SubMax: Efficient Prompt Compression via Regularized Submodular Maximization

While large language models (LLMs) are increasingly deployed in long-context scenarios, lengthy prompts can increase inference costs and latency and exacerbate the ``lost-in-the-middle'' phenomenon. Selective prompt compression offers a model-agnostic approach to alleviating these issues. However, methods based on fixed token- or sentence-level importance scores may overlook how content contributions change with the selected subset, limiting their ability to account for inter-sentence redundancy. Compression procedures that rely on autoregressive LLM scoring can also introduce substantial overhead. We propose PC-SubMax, a theoretically grounded framework that formulates selective prompt compression as regularized monotone submodular maximization under a knapsack constraint. The objective is $U(S)-\ell(S)$, where the monotone submodular utility $U$ combines information coverage, query relevance, and log-determinant diversity, and the non-negative modular penalty $\ell$ captures token cost. Through diminishing marginal returns, the objective evaluates each sentence's contribution relative to the selected content. To optimize this objective, we develop the Regularized Greedy+Max (RGM) algorithm, which deterministically returns a feasible set $Q$ satisfying $U(Q)-\ell(Q)\geq \frac{1}{2}U(O)-\ell(O)$, where $O$ is an optimal feasible solution to the regularized problem. RGM uses $O(nκ)$ value-oracle queries, where $n$ is the number of candidate sentences and $κ$ is the maximum feasible subset size. PC-SubMax uses encoder representations and avoids autoregressive LLM scoring during compression. Experiments across seven diverse benchmarks demonstrate competitive downstream performance with low compression overhead.

cs.CL↗

arXiv2026

Divisorial Rigidity and Regularity of Boundary Cases for the Supercritical LYZ Equation

We study the supercritical LYZ equation on compact Kähler manifolds at the boundary of stability. Under numerical semistability, we prove a quantitative positivity estimate on the modified nef cone. It implies that the destabilizing prime divisors form a finite exceptional family. Assuming the existence of a smooth semisubsolution, we prove that the associated intersection form is negative definite on the span of classes of these divisors. Using this rigidity, we then construct a logarithmic singular subsolution along their union and obtain a bounded Bedford--Taylor solution which is smooth on its complement.

math.DG↗

arXiv2026

Learning Fractional-Order Dynamics from a Single Trajectory

Many real-world processes exhibit long-range dependence, where the current state depends on a slowly decaying trace of past states rather than on the most recent state alone. This paper studies system identification for discrete-time fractional-order linear time-invariant systems from a single observed trajectory of length $t$, a setting that captures such non-Markovian dynamics through the Grünwald--Letnikov difference operator. Unlike Markovian systems, fractional-order systems couple estimation across the entire history, making both statistical analysis and practical identification more challenging. We propose \emph{Fractional-Order Ordinary-Least-Squares Grid-Search (FO-GS)}, a simple two-stage estimator that exploits the diagonal structure of the fractional-difference operator to decouple the identification problem row-wise. Under the stability assumption, we establish high-probability, non-asymptotic error bounds for estimating both the fractional order and the system matrix in the heterogeneous setting, with both estimation errors scaling as $\mathcal{O}(t^{-1/2})$. Through experiments, we show that \emph{FO-GS} outperforms existing baselines in recovering both the fractional order and the underlying system dynamics.

cs.LG↗

arXiv2026

PhysBrain 1.5: From Vision-Language Models to Physical Foundation Models

We present PhysBrain 1.5, a unified model for understanding physical environments, generating actions, and predicting future states. Motivated by the physical loop of observation, interaction, and environmental change, we bring these capabilities into a common learning framework. Starting from a general vision--language model, we encode language responses, end-effector motion, and dense visual targets as discrete sequences and jointly optimize them with autoregressive next-token prediction. Pre-training draws its embodied supervision entirely from human interaction videos, using task-centered episodes to pair semantic and spatial context with recovered motion and subsequent observations. We then adapt the model through supervised fine-tuning on a mixture of human demonstrations, robot trajectories, and simulated experience. Across 28 embodied understanding benchmarks, our 8B model achieves an average score of 72.5, setting a new open-source state of the art and performing on par with leading proprietary models such as GPT-6-Astra and Gemini 3.6 Flash. It achieves the best open-source results on 14 benchmarks while retaining general multimodal capabilities. Beyond these understanding evaluations, qualitative examples show the model's ability to produce end-effector trajectories and predict future scenes through spatially aligned RGB, depth, and robot-mask outputs.

cs.CV↗

arXiv2026

Boundary Cases of the $J$-Equation: Divisorial Rigidity and a Global $C^0$ Estimate

We study two boundary cases of the stability condition for the $J$-equation. First, under the $J$-semistable condition, we show that the destabilizing prime divisors form an exceptional family in the sense of Boucksom, with a uniform numerical gap away from them. The related modified nef estimate can remove the $J$-big assumption in Liu's work~\cite{Liu2026Boundary}. Second, under the smooth boundary cone condition, we obtain a uniform global $C^0$ estimate for solutions of the approximating twisted $J$-equations. As a consequence, we construct a bounded-potential Bedford--Taylor solution of the $J$-equation, which is smooth outside the destabilizing prime divisors.

math.DG↗

arXiv2026

Classification of Novikov-Poisson Algebras and Their Applications

In this paper, we give a complete classification, up to isomorphism, of 3-dimensional complex Novikov--Poisson algebras. As an application of the classification, we further prove that every 3-dimensional complex transposed Poisson algebra can be obtained from a Novikov--Poisson algebra except the Lie algebra $\mathfrak{sl}_2(\mathbb C)$. Consequently, Sartayev's conjecture holds in dimension 3, that is, every 3-dimensional complex transposed Poisson algebra is special when regarded as a GD algebra.

math.RA↗

arXiv2026

When Do Corrective Features Help? An Agent for Corrective Feature Discovery on Black-Box Forecasters

Frozen pretrained forecasters often fail in structured, recurring ways that are costly to repair through fine-tuning. We study corrective feature discovery: mining interpretable features of a frozen forecaster's residual to drive a lightweight post-hoc corrector. Prior automated feature engineering models the data-generating process; corrective features instead model the model-failure process. We present CRAFTER (Corrective Residual Agent with Feature-based Temporal Exploration and Reasoning), which keeps the backbone frozen and mines its residual with two complementary generators: a compositional search over the raw input channels, and a large language model (LLM) that proposes named feature combinations, binary flags, and short executable code. A single validation-grounded gate accepts or rejects every candidate regardless of its origin, and a validation-selected corrector applies the accepted features or leaves the forecast unchanged. This source-agnostic pipeline also allows prior feature-engineering systems to be evaluated under identical conditions, making CRAFTER an instrument for attributing forecast improvements to the feature source alone. Across six public datasets and six frozen backbones, CRAFTER surpasses every dedicated feature-engineering system at every feature budget, roughly doubling the improvement achieved by the corrector alone and reducing the error of the weakest backbones by up to 27%. These gains are robust across different LLM backends and persist even when applied on top of fine-tuned backbones.

cs.LG↗

arXiv2026

A Numerical Criterion for the 2-Hessian Equation on Compact Kähler Manifolds

We show that a Nakai--Moishezon-type criterion associated with the complex $2$-Hessian equation produces a Gauduchon class. In complex dimension three, this numerical criterion is equivalent to the existence of a smooth $2$-admissible representative and hence to the solvability of the $2$-Hessian equation. As consequences of these results, we prove the corresponding conjectures of Murakami for the complex Hessian equation and of Székelyhidi for the Hessian quotient equation in dimension three. We also establish a boundary version of the above results.

math.DG↗