arXiv subjects

Jincheng Gao

Publications and source records attributed to Jincheng Gao.

At least 19 recordsLinked to original sources

arXiv2026

MorphingNet: Symbolic Regression Where the Network Is the Formula

We introduce MorphingNet, a network for symbolic regression (SR) whose units change their function continuously. Instead of searching over expressions built from a fixed operator library, MorphingNet trains the form of each function as a parameter, so SR becomes one continuous optimization problem. Its units are either pole-free rational functions or complex exponential--logarithm functions, which move between exponentials, sinusoids, damped oscillations, power laws and logarithms as their parameters change. The network is a readable formula at every step of training, and no operator library is needed to train it; a structure-recovery step afterwards rewrites the trained formula into short elementary expressions. Training is dense linear algebra, so it is GPU-friendly and scales to large data. MorphingNet achieves state-of-the-art accuracy on SRBench, recovers most generating formulas on synthetic benchmarks, and on large data is up to two orders of magnitude faster than the strongest search method. By turning the search for a formula into the training of a network, MorphingNet offers a new paradigm for SR and for scientific discovery from data.

cs.LG↗

arXiv2026

SemTree: Judge-Aware Semantic Decision Trees for Inspectable and Repairable Rule Decisions

Rule decisions such as content moderation, advertising compliance, and eligibility checks combine several conditions, exemptions, and missing-information cases, and an error can be fixed only once the failing condition is known. We introduce SemTree, a framework that represents a rule decision as a semantic decision tree: each node is a natural-language question with explicit Yes/No/Unknown criteria, a pluggable semantic judge answers it, and the branching structure is compiled on the answers that this judge actually gives. The executed path is the reasoning behind every decision, so errors are repaired where they occur: a reviewer corrects a single node and replays the rule, corrected nodes become training labels for the judge, and a tool-using LLM editor revises questions and subtrees while observing execution results. On all 8,276 ShARC test cases, a tree executed by a hosted judge reaches 67.70% accuracy with 2.99 questions per case, on par with asking the same judge for the final label (68.23%); an earlier tree compiled for a different judge scores 47.87% when executed by this judge, while a new tree compiled on this judge's answers to a 12-question initial pool already scores 64.39%. Node-level repair raises BANKING77 accuracy from 82.04% to 86.16%, an explicit exemption node cuts the false positives of a Chinese e-commerce moderation clause from 24 to 5, and a trained editor raises the development accuracy of edited trees from 64.47% to 73.35%.

cs.LG↗

arXiv2026

AlphaOpsBench: Benchmarking End-to-End Alpha Strategy Operationalization in Prediction Markets

Large language models increasingly generate quantitative trading strategies, yet existing benchmarks assume standardized assets, numerical features, or directly compilable strategy representations---assumptions that prediction-market strategies violate, since a coarse idea may leave the traded outcome, causal information source, signal definition, threshold, sizing, order policy, exit, and settlement behavior unspecified. We introduce \textsc{AlphaOpsBench}, which evaluates end-to-end operationalization from source-grounded economic hypotheses to auditable executable programs over 581 source-preserving strategy records and a lifecycle-scale Polymarket dataset with 1.28 million binary markets, 183.6 million cleaned executions, settlement evidence, and limit-order-book history, comparing Direct generation against a Staged design-then-code protocol. In a corrected independent-generation study over 36 controlled tasks and 24 preregistered real strategies, strict end-to-end validity remains rare: Direct and Staged obtain 35/180 and 20/180 canonical passes on the controlled cohort and no confirmed pass on the real cohort, and repeated generations vary substantially in model-owned economic choices. By contrast, 775,725 of 783,655 scheduled historical replays complete, showing that replayability is a far weaker property than source-faithful operationalization. Financial outcomes depend on the declared execution model and available historical evidence, and fee and liquidity experiments show that execution costs alter subsequent trading paths rather than acting only as ex-post deductions. \textsc{AlphaOpsBench} thus separates strategy fidelity, behavioral validity, historical executability, and financial performance in an evidence-aware benchmark for LLM-based quantitative research in prediction markets.

cs.CE↗

arXiv2026

Nonlinear stability of a background magnetic field for the 3D compressible MHD equations with anisotropic dissipation

We study the nonlinear stability of an equilibrium with a background magnetic field for the three-dimensional compressible magnetohydrodynamic (MHD) equations in the whole space $\mathbb{R}^3$, in the strongly anisotropic regime where the velocity is dissipated only in the horizontal directions and the magnetic field is diffused in a single direction. We prove that for initial data sufficiently close to the equilibrium in a Sobolev space, the system admits a unique global-in-time solution that remains close to the equilibrium and enjoys quantitative dissipation estimates. The proof overcomes the severe lack of dissipation through two mechanisms: the background magnetic field is shown to generate enhanced dissipation for the magnetic field and the density, while a nonlinear cancellation mechanism is devised to resolve the loss of vertical derivatives caused by the compressible coupling.

math.AP↗

arXiv2026

AlphaForgeBench: Benchmarking End-to-End Trading Strategy Design with Large Language Models

The rapid advancement of Large Language Models (LLMs) has led to a surge of financial benchmarks, evolving from static knowledge evaluation toward interactive trading simulations. However, existing frameworks for evaluating real-time trading largely overlook a critical failure mode: the severe behavioral instability of LLMs in sequential decision-making under financial uncertainty. Through extensive experiments, we show that when deployed as trading agents, LLMs exhibit extreme run-to-run variance, generate inconsistent action sequences even under deterministic decoding, and frequently produce irrational action flipping across adjacent time steps. We attribute these behaviors to the stateless autoregressive nature of LLMs, which lack persistent memory of prior actions, together with their sensitivity to continuous-to-discrete action mappings in portfolio allocation tasks. These deficiencies fundamentally undermine the reliability and reproducibility of many existing online and offline trading benchmarks. To address these limitations, we propose AlphaForgeBench, a principled evaluation framework that redefines LLMs as quantitative researchers rather than stochastic trading agents. Instead of producing discrete trading actions, AlphaForgeBench requires models to generate executable alpha factors and compose factor-based trading strategies grounded in financial knowledge. This paradigm decouples reasoning from execution mechanics, enabling deterministic and reproducible evaluation while remaining aligned with real-world quantitative research workflows. Extensive experiments across multiple state-of-the-art LLMs demonstrate that AlphaForgeBench eliminates execution-induced instability and provides a rigorous benchmark for evaluating financial reasoning, strategy formulation, and alpha discovery. Webpage at https://finbrain-lab-hkustgz.github.io/AlphaForgeBench

q-fin.TR↗

arXiv2026

Global uniform regularity and vanishing vertical viscosity limit for the compressible Navier--Stokes equations in the half-space

In geophysical flows such as large-scale ocean dynamics, the vertical viscosity is often much smaller than the horizontal viscosity. This anisotropy makes it natural to ask whether solutions of the full anisotropic compressible Navier--Stokes equations converge, as the vertical viscosity coefficient $\varepsilon \to 0$, to solutions of a horizontally dissipative limit system, and whether this limit can be justified globally in time. Prior work has answered this question locally in time or in the incompressible setting. We resolve this problem for the three-dimensional compressible Navier--Stokes equations in the upper half-space with the Navier slip boundary condition. This paper establishes two main results for small perturbations of a constant equilibrium state. First, we prove the existence of a unique global-in-time solution whose conormal Sobolev norm remains uniformly bounded for all $t \ge 0$ and all $\varepsilon \in (0,1)$. Second, we justify the global vanishing vertical viscosity limit. More precisely, we show that the solutions converge to a global solution of the horizontally dissipative compressible Navier--Stokes system. This provides the first rigorous justification of the anisotropic viscosity limit for compressible flows on an infinite time interval.

math.AP↗

arXiv2026

Global uniform regularity for the 3D compressible MHD equations near a background magnetic field

This paper resolves the global regularity problem for the three-dimensional compressible magnetohydrodynamics (MHD) equations in the three-dimensional whole space, in the presence of a background magnetic field. Motivated by geophysical applications, we consider an anisotropic compressible MHD system with weak dissipation in the $x_2$ and $x_3$ directions and small vertical magnetic diffusion. By exploiting the stabilizing effect induced by the background magnetic field and constructing a hierarchy of four energy functionals, we establish global-in-time uniform bounds that are independent of the viscosity in the $x_2$ and $x_3$ directions and the vertical resistivity. A key innovation in our analysis is the development of a two-tier energy method, which couples the boundedness of vertical derivatives with the decay of horizontal derivatives. The analysis of time scale, together with global regularity estimates and sharp decay rates, enable us to rigorously justify the vanishing dissipation limit and derive explicit long-time convergence rates to the compressible MHD system with vanishing dissipation in the $x_2$ and $x_3$ directions and no vertical magnetic diffusion. In the absence of magnetic field and background magnetic field, the global-in-time well-posedness and vanishing viscosity limit for the 3D compressible Navier-Stokes equations with only one direction dissipation remains a challenging open problem. This work reveals the mechanism by which the magnetic field enhances dissipation and stabilizes the fluid dynamics in the global well-posedness and vanishing viscosity limit.

math.AP↗

arXiv2026

A Deep Equilibrium Network for Hyperspectral Unmixing

Hyperspectral unmixing (HU) is crucial for analyzing hyperspectral imagery, yet achieving accurate unmixing remains challenging. While traditional methods struggle to effectively model complex spectral-spatial features, deep learning approaches often lack physical interpretability. Unrolling-based methods, despite offering network interpretability, inadequately exploit spectral-spatial information and incur high memory costs and numerical precision issues during backpropagation. To address these limitations, we propose DEQ-Unmix, which reformulates abundance estimation as a deep equilibrium model, enabling efficient constant-memory training via implicit differentiation. It replaces the gradient operator of the data reconstruction term with a trainable convolutional network to capture spectral-spatial information. By leveraging implicit differentiation, DEQ-Unmix enables efficient and constant-memory backpropagation. Experiments on synthetic and two real-world datasets demonstrate that DEQ-Unmix achieves superior unmixing performance while maintaining constant memory cost.

cs.CV↗

arXiv2026

When to Lock Attention: Training-Free KV Control in Video Diffusion

Maintaining background consistency while enhancing foreground quality remains a core challenge in video editing. Injecting full-image information often leads to background artifacts, whereas rigid background locking severely constrains the model's capacity for foreground generation. To address this issue, we propose KV-Lock, a training-free framework tailored for DiT-based video diffusion models. Our core insight is that the hallucination metric (variance of denoising prediction) directly quantifies generation diversity, which is inherently linked to the classifier-free guidance (CFG) scale. Building upon this, KV-Lock leverages diffusion hallucination detection to dynamically schedule two key components: the fusion ratio between cached background key-values (KVs) and newly generated KVs, and the CFG scale. When hallucination risk is detected, KV-Lock strengthens background KV locking and simultaneously amplifies conditional guidance for foreground generation, thereby mitigating artifacts and improving generation fidelity. As a training-free, plug-and-play module, KV-Lock can be easily integrated into any pre-trained DiT-based models. Extensive experiments validate that our method outperforms existing approaches in improved foreground quality with high background fidelity across various video editing tasks.

cs.CV↗

arXiv2026

AgentVista: Evaluating Multimodal Agents in Ultra-Challenging Realistic Visual Scenarios

Real-world multimodal agents solve multi-step workflows grounded in visual evidence. For example, an agent can troubleshoot a device by linking a wiring photo to a schematic and validating the fix with online documentation, or plan a trip by interpreting a transit map and checking schedules under routing constraints. However, existing multimodal benchmarks mainly evaluate single-turn visual reasoning or specific tool skills, and they do not fully capture the realism, visual subtlety, and long-horizon tool use that practical agents require. We introduce AgentVista, a benchmark for generalist multimodal agents that spans 25 sub-domains across 7 categories, pairing realistic and detail-rich visual scenarios with natural hybrid tool use. Tasks require long-horizon tool interactions across modalities, including web search, image search, page navigation, and code-based operations for both image processing and general programming. Comprehensive evaluation of state-of-the-art models exposes significant gaps in their ability to carry out long-horizon multimodal tool use. Even the best model in our evaluation, Gemini-3-Pro with tools, achieves only 27.3% overall accuracy, and hard instances can require more than 25 tool-calling turns. We expect AgentVista to accelerate the development of more capable and reliable multimodal agents for realistic and ultra-challenging problem solving.

cs.CV↗

arXiv2025

Global uniform regularity for the 3D incompressible MHD equations with slip boundary condition near a background magnetic field

This paper resolves the global regularity problem for the three-dimensional incompressible magnetohydrodynamics (MHD) equations in the upper half-space with slip boundary conditions, in the presence of a background magnetic field. Motivated by geophysical applications, we consider an anisotropic MHD system with weak dissipation in the $x_2$ and $x_3$ directions and small vertical magnetic diffusion. By exploiting the stabilizing effect induced by the background magnetic field and constructing a hierarchy of four energy functionals, we establish global-in-time uniform bounds that are independent of the viscosity in the $x_2$ and $x_3$ directions and the vertical resistivity. A key innovation in our analysis is the development of a two-tier energy method, which couples the boundedness of conormal derivatives with the decay of tangential derivatives. These global conormal regularity estimates, together with sharp decay rates, enable us to rigorously justify the vanishing dissipation limit and derive explicit long-time convergence rates to the MHD system with vanishing dissipation in the $x_2$ and $x_3$ directions and no vertical magnetic diffusion. In the absence of a magnetic field, the global-in-time vanishing viscosity limit for the 3D incompressible Navier-Stokes equations with anisotropic dissipation remains a challenging open problem. This work reveals the mechanism by which the magnetic field enhances dissipation and stabilizes the fluid dynamics in the vanishing viscosity limit.

math.AP↗

arXiv2025

Incompressible limit for the 3D compressible FENE dumbbell model

In this work, we study the global-in-time incompressible limit of the compressible FENE dumbbell model on the three-dimensional torus T^3, where the incompressible limit is driven by large volume viscosity. To establish this limit, we develop time-weighted a priori estimates that yield decay rates for strong solutions. A key challenge arises from the fact that increasing the volume viscosity suppresses the decay of high-frequency components, thereby weakening the dissipation of the density and complicating the derivation of uniform-in-time decay estimates. To overcome this difficulty, we introduce a novel momentum-based estimate and show that the incompressible component of the momentum decays faster in time than the velocity itself. Exploiting this enhanced decay, we successfully close the a priori estimates and establish a time-decreasing convergence rate toward the incompressible limit.

math.AP↗

arXiv2025

Global uniform regularity for the 3D incompressible MHD equations with slip boundary condition near an equilibrium

This paper solves the global conormal regularity problem for the three-dimensional incompressible MHD equations with slip boundary condition near a background magnetic field. Motivated by applications in geophysics, the MHD system considered here is anisotropic with small vertical dissipation and small horizontal magnetic diffusion. By exploiting the enhanced dissipation due to the background magnetic field and introducing three layers of energy functionals, we are able to establish global-in-time uniform bounds that are independent of vertical viscosity and horizontal resistivity. These global conormal regularity estimates allow us to pass to the limit and obtain the convergence to the MHD system with no vertical dissipation and horizontal magnetic diffusion. In the special case of the 3D incompressible Navier-Stokes, explicit long-time rates are also extracted in the zero vertical viscosity limit.

math.AP↗

arXiv2025

DTU-Net: A Multi-Scale Dilated Transformer Network for Nonlinear Hyperspectral Unmixing

Transformers have shown significant success in hyperspectral unmixing (HU). However, challenges remain. While multi-scale and long-range spatial correlations are essential in unmixing tasks, current Transformer-based unmixing networks, built on Vision Transformer (ViT) or Swin-Transformer, struggle to capture them effectively. Additionally, current Transformer-based unmixing networks rely on the linear mixing model, which lacks the flexibility to accommodate scenarios where nonlinear effects are significant. To address these limitations, we propose a multi-scale Dilated Transformer-based unmixing network for nonlinear HU (DTU-Net). The encoder employs two branches. The first one performs multi-scale spatial feature extraction using Multi-Scale Dilated Attention (MSDA) in the Dilated Transformer, which varies dilation rates across attention heads to capture long-range and multi-scale spatial correlations. The second one performs spectral feature extraction utilizing 3D-CNNs with channel attention. The outputs from both branches are then fused to integrate multi-scale spatial and spectral information, which is subsequently transformed to estimate the abundances. The decoder is designed to accommodate both linear and nonlinear mixing scenarios. Its interpretability is enhanced by explicitly modeling the relationships between endmembers, abundances, and nonlinear coefficients in accordance with the polynomial post-nonlinear mixing model (PPNMM). Experiments on synthetic and real datasets validate the effectiveness of the proposed DTU-Net compared to PPNMM-derived methods and several advanced unmixing networks.

cs.CV↗

arXiv2024

MLLM-SUL: Multimodal Large Language Model for Semantic Scene Understanding and Localization in Traffic Scenarios

Multimodal large language models (MLLMs) have shown satisfactory effects in many autonomous driving tasks. In this paper, MLLMs are utilized to solve joint semantic scene understanding and risk localization tasks, while only relying on front-view images. In the proposed MLLM-SUL framework, a dual-branch visual encoder is first designed to extract features from two resolutions, and rich visual information is conducive to the language model describing risk objects of different sizes accurately. Then for the language generation, LLaMA model is fine-tuned to predict scene descriptions, containing the type of driving scenario, actions of risk objects, and driving intentions and suggestions of ego-vehicle. Ultimately, a transformer-based network incorporating a regression token is trained to locate the risk objects. Extensive experiments on the existing DRAMA-ROLISP dataset and the extended DRAMA-SRIS dataset demonstrate that our method is efficient, surpassing many state-of-the-art image-based and video-based methods. Specifically, our method achieves 80.1% BLEU-1 score and 298.5% CIDEr score in the scene understanding task, and 59.6% accuracy in the localization task. Codes and datasets are available at https://github.com/fjq-tongji/MLLM-SUL.

cs.CV↗

arXiv2024

Prospective Role of Foundation Models in Advancing Autonomous Vehicles

With the development of artificial intelligence and breakthroughs in deep learning, large-scale Foundation Models (FMs), such as GPT, Sora, etc., have achieved remarkable results in many fields including natural language processing and computer vision. The application of FMs in autonomous driving holds considerable promise. For example, they can contribute to enhancing scene understanding and reasoning. By pre-training on rich linguistic and visual data, FMs can understand and interpret various elements in a driving scene, and provide cognitive reasoning to give linguistic and action instructions for driving decisions and planning. Furthermore, FMs can augment data based on the understanding of driving scenarios to provide feasible scenes of those rare occurrences in the long tail distribution that are unlikely to be encountered during routine driving and data collection. The enhancement can subsequently lead to improvement in the accuracy and reliability of autonomous driving systems. Another testament to the potential of FMs' applications lies in World Models, exemplified by the DREAMER series, which showcases the ability to comprehend physical laws and dynamics. Learning from massive data under the paradigm of self-supervised learning, World Model can generate unseen yet plausible driving environments, facilitating the enhancement in the prediction of road users' behaviors and the off-line training of driving strategies. In this paper, we synthesize the applications and future trends of FMs in autonomous driving. By utilizing the powerful capabilities of FMs, we strive to tackle the potential issues stemming from the long-tail distribution in autonomous driving, consequently advancing overall safety in this domain.

cs.CV↗

arXiv2024

Local existence and uniqueness of solution to the two-dimensional inhomogeneous Prandtl equations by energy method

In this paper, we consider the local existence and uniqueness result for the inhomogeneous Prandtl equations in dimension two by energy method. First of all, for the homogeneous case, the local-in-time well-posedness theory of unsteady Prandtl equations was obtained by [Alexandre, Wang, Xu, Yang, J. Am. Math. Soc., 28 (3), 745-784 (2015)] and [Masmoudi, Wong, Comm. Pure Appl. Math., 68 (10), 1683-1741 (2015)] independently by energy method without any transformation. However, for the inhomogeneous case, the appearance of density will create some new difficulties for us to overcome the loss of tangential derivative of horizontal velocity. Thus, our first result is to overcome the loss of tangential derivative such that one can establish the local-in-time well-posedness result for the inhomogeneous Prandtl equations by energy method. Secondly, for the homogeneous case, the local-in-x well-posedness in higher regular space for the steady Prandtl equations was obtained by [Guo, Iyer, Comm. Math. Phys., 382 (3), 1403-447 (2021)] by energy method since they firstly found the good quantity(called `quotient'). With the help of this quotient, our second result is to establish the local-in-x well-posedness in higher regular Sobolev space for the steady inhomogeneous Prandtl equations.

math.AP↗

arXiv2023

Well-posedness and exponential stability of the inhomogeneous anisotropic incompressible Navier-Stokes equation with far-field vacuum in two-dimensional whole space

In this paper, we investigate the well-posedness theory and exponential stability for the inhomogeneous incompressible Navier-Stokes equation with only horizontal dissipative structure. Due to the lack of the vertical dissipative term and appearance of vacuum, it is a highly challenging tricky problem for us to study the well-posedness, stability and large-time behavior problems in two-dimensional whole space. The local-in-time well-posedness theory is successfully established at first because we develop some good estimates for the density and vorticity to control the nonlinear term. Finally, these good estimates of density and vorticity help us to establish the global-in-time well-posedness and exponential stability if the initial velocity is suitable small.

math.AP↗