arXiv subjects

Jiaxin Zhou

Publications and source records attributed to Jiaxin Zhou.

13 recordsLinked to original sources

arXiv2026

Beyond Multimodal Emotion Conflict: Temporal Context-Aware Hidden Emotion Detection with Multimodal Large Language Models

Multimodal emotion recognition commonly combines textual, acoustic, and visual signals to infer affective states. Recent work has begun to study conflicts among modalities, but a conflict does not necessarily indicate that a person is concealing an emotion. It may also result from mixed emotions, individual expressive styles, or contextual factors. This proposal aims to distinguish ordinary emotional inconsistency from emotion concealment and to infer the underlying emotion when supported by evidence. We plan to construct a multimodal benchmark with explicit annotations of expressed emotion, internal emotion, and concealment conditions, and to develop an MLLM-based framework that integrates fine-grained facial Action Units (AUs), cross-modal features, and temporal context.

cs.AI↗

arXiv2026

Personalized Task Dependency Graphs for Mitigating Signal Erosion in Multi-Task Recommendation

Optimizing multiple conversion objectives is a core challenge in industrial recommendation, often limited by signal erosion in rigid architectures. Existing Multi-Task Learning (MTL) methods typically enforce uniform dependency strengths across a static conversion funnel, overlooking how task correlations naturally vary based on item characteristics. Hierarchical message passing along these fixed chains leads to cumulative signal attenuation, which degrades performance on sparse, deep-funnel objectives. To address this, we propose the Personalized Task Dependency Graphs (PTDG). While respecting necessary physical causal constraints (e.g., Click -> Pay), PTDG dynamically "rewires" the intensity of dependency pathways for each item via low-rank approximation to ensure structural robustness. We implement a GCN-based propagation with hard causal masking to establish adaptive information shortcuts. Additionally, we introduce an Adaptive Progressive Masking (APM) strategy that decouples shared parameters according to task sparsity, helping to stabilize optimization. Experiments on KuaiRand1K and an industrial dataset show that PTDG significantly improves AUC on sparse conversion tasks by up to 1.45%, while maintaining comparable performance on dense objectives. Online A/B testing shows PTDG improves Conversion Rate (CVR) by 1.2% and effective Cost Per Mille (eCPM) by 1.9% relative to the baseline.

cs.IR↗

arXiv2026

From Indiscriminate to Targeted: Functionally Critical Signal-Driven Assertion Generation using LLMs for Efficient RTL Verification

Functional verification has become the most time-consuming phase in IC development, and Assertion-Based Verification (ABV) is key to reducing debugging time. However, existing LLM-based assertion generation methods typically pursue indiscriminate verification, aiming for maximal coverage without considering signal criticality, whereas industrial practice demands maximizing coverage with minimal verification cost. Consequently, identifying signals that have the greatest impact on design functionality and error propagation-enabling a shift from indiscriminate to targeted verification-remains a key challenge. To address this, we propose AgileAssert, a key signal-driven assertion generation framework that constructs RTL semantic graphs and identifies the top-K critical signals via a hybrid scoring and selection mechanism, followed by structure-aware RTL slicing to provide the LLM with precise targets and contextual information, thereby guiding LLMs to generate tightly constrained targeted assertions for efficient verification. Evaluated on block- and CPU-level designs, with an average 66.68% reduction in assertions, our approach outperforms three existing SOTA methods, and significantly improving coverage metrics while reducing input token consumption by 64%. In mutation testing, when our approach surpasses existing methods in error detection rate, the average number of assertions used decreases by 72.74%.

cs.AR↗

arXiv2026

Local Robustness of Bound States in the Continuum through Scattering-Matrix Eigenvector Continuation

We consider the diffraction of time-harmonic plane waves by a periodic structure, governed by the Helmholtz equation. Bound states in the continuum (BICs) are quasi-periodic fields that remain $L^{2}$-bounded over one period and occur at frequencies embedded in the continuous spectrum. Perturbations that break a BIC can lead to ultra-strong resonances, enabling various applications in photonics. Employing the implicit function theorem, we demonstrate how a simple BIC continuously deforms into a propagating field as system parameters vary in a neighborhood, with the frequency adjusting accordingly. In this setting, the incident coefficients of the field persist as an eigenvector of the scattering matrix with a fixed eigenvalue. By introducing a mapping $\mathcal{P}$ from the parameters to these coefficients, the zeros of $\mathcal{P}$ correspond precisely to BICs. When such a zero is isolated and the dimensions of the domain and codomain coincide, the BIC can be related to the mapping degree of $\mathcal{P}$ in a small neighborhood. This perspective clarifies the phase singularity associated with BICs and provides a general topological interpretation of their local robustness with respect to the given parameters. Moreover, it yields a practical numerical criterion for detecting and verifying BICs via computation of the mapping degree of $\mathcal{P}$.

math-ph↗

arXiv2026

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations

LLMs can generate SystemVerilog assertions (SVAs) from natural language specs, but single-pass outputs often lack functional coverage due to limited IC design understanding. We propose CoverAssert, an iterative framework that clusters semantic and AST-based structural features of assertions, maps them to specifications, and uses functional coverage feedback to guide LLMs in prioritizing uncovered points. Experiments on four open-source designs show that integrating CoverAssert with AssertLLM and Spec2Assertion improves average improvements of 9.57 % in branch coverage, 9.64 % in statement coverage, and 15.69 % in toggle coverage.

cs.AR↗

arXiv2026

Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification

While leveraging LLMs to automatically generate SystemVerilog assertions (SVAs) from natural language specifications holds great potential, existing techniques face a key challenge: LLMs often lack sufficient understanding of IC design, leading to poor assertion quality in a single pass. Therefore, verifying whether the generated assertions effectively cover the functional specifications and designing feedback mechanisms based on this coverage remain significant hurdles. To address these limitations, this paper introduces CoverAssert, a novel iterative framework for optimizing SVA generation with LLMs. The core contribution is a lightweight mechanism for matching generated assertions with specific functional descriptions in the specifications. CoverAssert achieves this by clustering the joint representations of semantic features of LLM-generated assertions and structural features extracted from abstract syntax trees (ASTs) about signals related to assertions, and then mapping them back to the specifications to analyze functional coverage quality. Leveraging this capability, CoverAssert constructs a feedback loop based on functional coverage to guide LLMs in prioritizing uncovered functional points, thereby iteratively improving assertion quality. Experimental evaluations on four open-source designs demonstrate that integrating CoverAssert with state-of-the-art generators, AssertLLM and Spec2Assertion, achieves average improvements of 9.57 % in branch coverage, 9.64 % in statement coverage, and 15.69 % in toggle coverage.

cs.AR↗

arXiv2026

Existence of Friedrich-Wintgen Bound States in the Continuum: Cavity with a Thin Waveguide Opening

Bound states in the continuum (BICs) are localized states embedded within a continuum of propagating waves. Perturbations that disrupt BICs typically induce ultra-strong resonances, a phenomenon enabling diverse applications in photonics. This work investigates the existence of BICs in two-dimensional electromagnetic cavities coupled to thin waveguides for H-polarized waves. Our focus is on Friedrich-Wintgen BICs (FW-BICs), which arise from destructive interference between two resonant modes and were identified numerically in rectangular cavities with waveguide openings by Lyapina et al. [J. Fluid Mech., 780 (2015), pp. 370--387]. Here, we rigorously establish the existence of FW-BICs in a broader class of cavity geometries by introducing perturbations to the refractive index under regularity constraints. We show that BICs correspond to intersections of two curves derived implicitly from the governing equations constructed via the mode-matching method. Crucially, we prove that such intersections are guaranteed for sufficiently small waveguide widths, provided that two eigenvalues of the cavity cross and the associated eigenfunctions exhibit non-vanishing coupling to the radiation channel at the cavity-waveguide interface. Furthermore, our approach remains applicable for studying the emergence of FW-BICs under parameter-dependent boundary perturbations to the cavity.

math-ph↗

arXiv2025

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT

Large language models (LLMs) hold promise for automating integrated circuit (IC) engineering using register transfer level (RTL) hardware description languages (HDLs) like Verilog. However, challenges remain in ensuring the quality of Verilog generation. Complex designs often fail in a single generation due to the lack of targeted decoupling strategies, and evaluating the correctness of decoupled sub-tasks remains difficult. While the chain-of-thought (CoT) method is commonly used to improve LLM reasoning, it has been largely ineffective in automating IC design workflows, requiring manual intervention. The key issue is controlling CoT reasoning direction and step granularity, which do not align with expert RTL design knowledge. This paper introduces VeriBToT, a specialized LLM reasoning paradigm for automated Verilog generation. By integrating Top-down and design-for-verification (DFV) approaches, VeriBToT achieves self-decoupling and self-verification of intermediate steps, constructing a Backtrack Tree of Thought with formal operators. Compared to traditional CoT paradigms, our approach enhances Verilog generation while optimizing token costs through flexible modularity, hierarchy, and reusability.

cs.AR↗

arXiv2025

AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs

Assertion-based verification (ABV) is a key approach to checking whether a logic design complies with its architectural specifications. Existing assertion generation methods based on design specifications typically produce only top-level assertions, overlooking verification needs on the implementation details in the modules at the micro-architectural level, where design errors occur more frequently. To address this limitation, we present AssertMiner, a module-level assertion generation framework that leverages static information generated from abstract syntax tree (AST) to assist LLMs in mining assertions. Specifically, it performs AST-based structural extraction to derive the module call graph, I/O table, and dataflow graph, guiding the LLM to generate module-level specifications and mine module-level assertions. Our evaluation demonstrates that AssertMiner outperforms existing methods such as AssertLLM and Spec2Assertion in generating high-quality assertions for modules. When integrated with these methods, AssertMiner can enhance the structural coverage and significantly improve the error detection capability, enabling a more comprehensive and efficient verification process.

cs.AR↗

arXiv2025

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications

Assertion-Based Verification (ABV) is a crucial method for ensuring that logic designs conform to their architectural specifications. However, existing assertion generation methods primarily rely on information either from the design specification, or register-transfer level (RTL) code. The former methods are typically limited to generating assertions for the top-level design. As the top-level design is composed of different modules without module-level specifications, they are unable to generate deep assertions that target the internal functionality of modules. The latter methods often rely on a golden RTL model, which is difficult to obtain. To address the above limitations, this paper presents a novel large language model (LLM)-aided verification framework named DeepAssert. DeepAssert is capable of analyzing the invocation relationships between modules and extracting independent specifications for each module with its I/O port information. These extracted specifications are subsequently used to guide LLMs to automatically generate fine-grained deep assertions for these modules. Our evaluation demonstrates that DeepAssert significantly outperforms existing methods such as AssertLLM and Spec2Assertion in generating high-quality deep assertions for modules. Furthermore, when integrated with these methods, DeepAssert can enhance the overall quality of the assertions generated. This allows for a more comprehensive and effective verification process.

cs.AR↗

arXiv2023

Robust Scheduling in Cloud Environment Based on Heuristic Optimization Algorithm

Aiming at analyzing performance in cloud computing, some unpredictable perturbations which may lead to performance downgrade are essential factors that should not be neglected. To avoid performance downgrade in cloud computing system, it is reasonable to measure the impact of the perturbations, and further propose a robust scheduling strategy to maintain the performance of the system at an acceptable level. In this paper, we first describe the supply-demand relationship of service between cloud service providers and customers, in which the profit and waiting time are objectives they most concerned. Then, on the basis of introducing the lowest acceptable profit and longest acceptable waiting time for cloud service providers and customers respectively, we define a robustness metric method to declare that the number and speed of servers should be adequately configured in a feasible region, such that the performance of cloud computing system can stay at an acceptable level when it is subject to the perturbations. Subsequently, we discuss the robustness metric method in several cases, and propose heuristic optimization algorithm to enhance the robustness of the system as much as possible. At last, the performances of the proposed algorithm are validated by comparing with DE and PSO algorithm, the results show the superiority of the proposed algorithm.

cs.DC↗

arXiv2021

A Fourier-matching Method for Analyzing Resonance Frequencies by a Sound-hard Slab with Arbitrarily Shaped Subwavelength Holes

This paper presents a simple Fourier-matching method to rigorously study resonance frequencies of a sound-hard slab with a finite number of arbitrarily shaped cylindrical holes of diameter ${\cal O}(h)$ for $h\ll1$. Outside the holes, a sound field can be expressed in terms of its normal derivatives on the apertures of holes. Inside each hole, since the vertical variable can be separated, the field can be expressed in terms of a countable set of Fourier basis functions. Matching the field on each aperture yields a linear system of countable equations in terms of a countable set of unknown Fourier coefficients. The linear system can be reduced to a finite-dimensional linear system based on the invertibility of its principal submatrix, which is proved by the well-posedness of a closely related boundary value problem for each hole in the limiting case $h\to 0$, so that only the leading Fourier coefficient of each hole is preserved in the finite-dimensional system. The resonance frequencies are those making the resulting finite-dimensional linear system rank deficient. By regular asymptotic analysis for $h \ll 1$, we get a systematic asymptotic formula for characterizing the resonance frequencies by the 3D subwavelength structure. The formula reveals an important fact that when all holes are of the same shape, the Q-factor for any resonance frequency asymptotically behaves as ${\cal O}(h^{-2})$ for $h\ll1$ with its prefactor independent of shapes of holes.

math.AP↗

arXiv2020

Resonance Frequencies of a Slab with Subwavelength Slits: a Fourier-transformation Approach

This paper proposes a novel, rigorous and simple Fourier-transformation approach to study resonances in a perfectly conducting slab with finite number of subwavelength slits of width $h\ll 1$. Since regions outside the slits are variable separated, by Fourier transforming the governing equation, we could express field in the outer regions in terms of field derivatives on the aperture. Next, in each slit where variable separation is still available, wave field could be expressed as a Fourier series in terms of a countable basis functions with unknown Fourier coefficients. Finally, by matching field on the aperture, we establish a linear system of infinite number of equations governing the countable Fourier coefficients. By carefully asymptotic analysis of each entry of the coefficient matrix, we rigorously show that, by removing only a finite number of rows and columns, the resulting principle sub-matrix is diagonally dominant so that the infinite dimensional linear system can be reduced to a finite dimensional linear system. Resonance frequencies are exactly those frequencies making the linear system rank-deficient. This in turn provides a simple, asymptotic formula describing resonance frequencies with accuracy ${\cal O}(h^3\log h)$. We emphasize that such a formula is more accurate than all existing results and is the first accurate result especially for slits of number more than two to our best knowledge. Moreover, this asymptotic formula rigorously confirms a fact that the imaginary part of resonance frequencies is always ${\cal O}(h)$ no matter how we place the slits as long as they are spaced by distances independent of width $h$.

math.NA↗