Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
13topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2026arXiv

Outcome-Grounded Advantage Reshaping for Fine-Grained Credit Assignment in Mathematical Reasoning

Group Relative Policy Optimization (GRPO) has emerged as a promising critic-free reinforcement learning paradigm for reasoning tasks. However, standard GRPO employs a coarse-grained credit assignment mechanism that propagates group-level rewards uniformly to to every token in a sequence, neglecting the varying contribution of individual reasoning steps. We address this limitation by introducing Outcome-grounded Advantage Reshaping (OAR), a fine-grained credit assignment mechanism that redistributes advantages based on how much each token influences the model's final answer. We instantiate OAR via two complementary strategies: (1) OAR-P, which estimates outcome sensitivity through counterfactual token perturbations, serving as a high-fidelity attribution signal; (2) OAR-G, which uses an input-gradient sensitivity proxy to approximate the influence signal with a single backward pass. These importance signals are integrated with a conservative Bi-Level advantage reshaping scheme that suppresses low-impact tokens and boosts pivotal ones while preserving the overall advantage mass. Empirical results on extensive mathematical reasoning benchmarks demonstrate that while OAR-P sets the performance upper bound, OAR-G achieves comparable gains with negligible computational overhead, both significantly outperforming a strong GRPO baseline, pushing the boundaries of critic-free LLM reasoning.

preprint2022arXiv

A nonhydrostatic atmospheric dynamical core on cubed sphere using hybrid multi-moment finite-volume/finite difference methods: formulations and preliminary tests

A nonhydrostatic dynamical core has been developed by using the multi-moment finite volume method that ensures the rigorous numerical conservation. To represent the spherical geometry free of polar problems, the cubed-sphere grid is adopted. A fourth-order multi-moment discretization formulation is applied to solve the governing equations cast in the local curvilinear coordinates on each patch of cubed sphere through a gnomonic projection. In vertical direction, the height-based terrain-following grid is used to deal with the topography and a conservative finite difference scheme is adopted for the spatial discretization. The dynamical core adopts the nonhydrostatic governing equations. To get around the CFL stability restriction imposed by sound wave propagation and relatively small grid spacing in the vertical direction, the dimensional-splitting time integration algorithm using the HEVI (horizontally-explicit and vertically-implicit) strategy is implemented by applying the IMEX (implicit-explicit) Runge-Kutta method. The proposed model was checked by the widely-used benchmark tests in this study. The numerical results show that the multi-moment model has superior solution quality and great practical potential as a numerical platform for development of the atmospheric general circulation models.

preprint2021arXiv

Pressure-induced structural transition, metallization, and topological superconductivity in PdSSe

Pressure not only provides a powerful way to tune the crystal structure of transition metal dichalcogenides (TMDCs) but also promotes the discovery of exotic electronic states and intriguing phenomena. Structural transitions from the quasi-two-dimensional layered orthorhombic phase to three-dimensional cubic pyrite phase, metallization, and superconductivity under high pressure have been observed experimentally in TMDCs materials PdS2 and PdSe2. Here, we report a theoretical prediction of the pressure-induced evolutions of crystal structure and electronic structure of PdSSe, an isomorphous intermediate material of the orthorhombic PdS2 and PdSe2. A series of pressure-induced structural phase transitions from the layered orthorhombic structure into an intermediate phase, then to a cubic phase are revealed. The intermediate phase features the same structure symmetry as the ambient orthorhombic phase, except for drastic collapsed interlayer distances and striking changes of the coordination polyhedron. Furthermore, the structural phase transitions are accompanied by electronic structure variations from semiconductor to semimetal, which are attributed to bandwidth broaden and orbital-selective mechanisms. Especially, the cubic phase PdSSe is distinct from the cubic PdS2 and PdSe2 materials by breaking inversion and mirror-plane symmetries, but showing similar superconductivity under high pressure, which is originated from strong electron-phonon coupling interactions concomitant with topologically nontrivial Weyl and high-fold Fermions. The intricate interplay between lattice, charge, and orbital degrees of freedom as well as the topologically nontrivial states in these compounds will further stimulate wide interest to explore the exotic physics of the TMDCs materials.

preprint2021arXiv

Stacking effect and Coulomb correlation in layered charge density wave phase of 1T-NbS2

Based on first-principles calculations, we explored the interplay between stacking effect and electron-electron correlation in the layered vdW material of bulk 1T-NbS2 with a 2D charge density wave (CDW) order. Without considering the Coulomb correlation, two energetically favorable out-of-plane stacking configurations are identified: one is a metallic phase with a single-layer stacking pattern, another is a band insulator with a paired-bilayer stacking configuration. Even though the Coulomb correlation is taken into account, the two energetic favorable stacking orders are still far more stable than other stacking orders. Furthermore, increasing the Coulomb interaction, the paired-bilayer stacking configuration transforms from nonmagnetic band insulator to antiferromagnetic insulator, while the single-layer stacking undergoes a Slater-Mott metal-insulator transition, which indicates the non-negligible role of electron-electron correlation interactions. In addition, the electronic structure and magnetic ground state change drastically among different stacking configurations, providing a platform to tune the electronic structures and interlayer magnetic interactions by altering the stacking order. In contrast to the widely accepted scenario of Mott localization as the driving force behind the gap formation in the CDW phase of layered transition metal dichalcogenides, our results not only highlight the crucial role of stacking order in the electronic structures of 1T-NbS2, but also shed fresh light on the distinct effects of Coulomb interaction in different stacking arrangements.

preprint2020arXiv

A Framework and DataSet for Bugs in Ethereum Smart Contracts

Ethereum is the largest blockchain platform that supports smart contracts. Users deploy smart contracts by publishing the smart contract's bytecode to the blockchain. Since the data in the blockchain cannot be modified, even if these contracts contain bugs, it is not possible to patch deployed smart contracts with code updates. Moreover, there is currently neither a comprehensive classification framework for Ethereum smart contract bugs, nor detailed criteria for detecting bugs in smart contracts, making it difficult for developers to fully understand the negative effects of bugs and design new approaches to detect bugs. In this paper, to fill the gap, we first collect as many smart contract bugs as possible from multiple sources and divide these bugs into 9 categories by extending the IEEE Standard Classification for Software Anomalies. Then, we design the criteria for detecting each kind of bugs, and construct a dataset of smart contracts covering all kinds of bugs. With our framework and dataset, developers can learn smart contract bugs and develop new tools to detect and locate bugs in smart contracts. Moreover, we evaluate the state-of-the-art tools for smart contract analysis with our dataset and obtain some interesting findings: 1) Mythril, Slither and Remix are the most worthwhile combination of analysis tools. 2) There are still 10 kinds of bugs that cannot be detected by any analysis tool.

preprint2020arXiv

A global nonhydrostatic dynamical core on cubed sphere using multi-moment finite volume method: formulation and preliminary test

A nonhydrostatic dynamical core has been developed by using the multi-moment finite volume method that ensures the rigorous numerical conservation. To represent the spherical geometry free of polar problems, the cubed-sphere grid is adopted. A fourth-order multi-moment discretization formulation is applied to the nonhydrostatic governing equations cast in local curvilinear coordinates on each patch of cubed sphere through a gnomonic projection. In vertical direction, the height-based terrain-following grid is used to represent the topography. To get around the CFL stability restriction imposed by relatively small grid spacing in the vertical direction, the dimensional-splitting time integration using the HEVI (Horizontal Explicit and Vertical Implicit) strategy is implemented by applying the IMEX Runge-Kutta scheme. The proposed dynamical core preserves the fourth-order accuracy in spherical geometry and has been verified by the widely-used benchmark tests. The results of our numerical experiments show that the present numerical core has superior solution quality and great practical potential as a platform for atmospheric models. A new unified model for numerical weather prediction and global atmospheric circulation simulation based on this dynamical core is under development.

preprint2020arXiv

A new paradigm of dissipation-controllable, multi-scale resolving schemes for compressible flows

The scale-resolving simulation of high speed compressible flow through direct numerical simulation (DNS) or large eddy simulation (LES) requires shock-capturing schemes to be more accurate for resolving broadband turbulence and robust for capturing strong shock waves. In this work, we develop a new paradigm of dissipation-controllable, shock capturing scheme to resolve multi-scale flow structures in high speed compressible flow. This novel paradigm of shock-capturing scheme is named as PnTm-BVD-CD. The proposed PnTm-BVD-CD scheme has following desirable properties. First, it can capture large-scale discontinuous structures such as strong shock waves without obvious non-physical oscillations while resolving sharp contact, material interface and shear layer. Secondly, the numerical dissipation property of PnTm-BVD-CD can be effectively controlled between n+1 order upwind-biased scheme and non-dissipative n+2 order central scheme through a simple tunable parameter $λ$. Thirdly, with $λ=0.5$ the scheme can recover to n+2 order non-dissipative central interpolation for smooth solution over all wavenumber, which is preferable for solving small-scale structures in DNS as well as resolvable-scale in explicit LES. Finally, the under-resolved small-scale can be solved with dissipation controllable algorithm through so-called implicit LES (ILES) approach.

preprint2020arXiv

A positivity-preserving conservative Semi-Lagrangian Multi-moment Global Transport Model on the Cubed Sphere

A positivity-preserving conservative semi-Lagrangian transport model by multi-moment finite volume method has been developed on the cubed-sphere grid. In this paper, two kinds of moments, i.e. point values (PV moment) at cell boundaries and volume integrated average (VIA) value, are defined within a single cell. The PV moment is updated by a conventional semi-Lagrangian method, while the VIA moment is cast by the flux form formulation that assures the exact numerical conservation. Different from the spatial approximation used in CSL2 (conservative semi-Lagrangian scheme with second order polynomial function) scheme, a monotonic rational function which can effectively remove non-physical oscillations and preserve the shape, is reconstructed in a single cell by the PV moment and VIA moment. The resulting scheme is inherently conservative and can allow a CFL number larger than one. Moreover, the scheme uses only one cell for spatial reconstruction, which is very easy for practical implementation. The proposed model is evaluated by several widely used benchmark tests on cubed-sphere geometry. Numerical results show that the proposed transport model can effectively remove unphysical oscillations compared with the CSL2 scheme and preserve the numerical non-negativity, and it has the potential to transport the tracers accurately in real atmospheric model.

preprint2020arXiv

Development of a unified high-order nonhydrostatic multi-moment constrained finite volume dynamical core: derivation of flux-form governing equations in the general curvilinear coordinate system

In the manuscript we have derived the flux-form atmospheric governing equations in the general curvilinear coordinate system which is used by a high-order nonhydrostatic multi-moment constrained finite volume (MCV) dynamical core, and given the explicit formulations in the shallow-atmosphere approximation. In general curvilinear coordinate x^i(i = 1,2,3), unlike the Cartesian coordinate, the base vectors are not constants either in magnitude or direction. Following the representations such as base vectors, vector and tensor and so on in general curvilinear coordinate, we can obtain the differential relations of base vectors, the gradient and divergence operator etc. which are the component parts of the atmospheric governing equation. Then we apply them in the two specific curvilinear coordinate system: the spherical polar and cubed-sphere coordinates that are adopted in high-order nonhydrostatic MCV dynamical core. By switching the geometrics such as the metric tensors (covariant and contravariant), Jacobian of the transformation, the Christoffel symbol of the second kind between the spherical polar and cubed-sphere coordinates, the resulting flux-form governing equations in the specific coordinate system can be easily achieved. Of course, the Cartesian coordinate can be recovered. Noted that the projection metric tensors like spherical polar system and Cartesian coordinate become simple due to orthogonal properties of coordinate.

preprint2020arXiv

Discontinuity-resolving shock-capturing schemes on unstructured grids

Solving compressible flows containing discontinuities remains a major challenge for numerical methods especially on unstructured grids. Thus in this work, we make contributions to shock capturing schemes on unstructured grids with aim of resolving discontinuities with low numerical dissipation. Different from conventional shock capturing schemes which only use polynomials as interpolation functions on unstructured grids, the proposed scheme employs the linear polynomial as well as non-polynomial as reconstruction candidates. For linear polynomial, the second order MUSCL scheme with the MLP (Multi-dimensional Limiting Process) slope limiter is adopted. The multi-dimensional THINC (Tangent of Hyperbola for INterface Capturing) function with quadratic surface representation and Gaussian quadrature, so-called THINC/QQ, is used as the non-polynomial reconstruction candidate. With these reconstruction candidates, a multi-stage boundary variation diminishing (BVD) algorithm which aims to minimize numerical dissipation is designed on unstructured grids to select the final reconstruction function. The resulted shock capturing scheme is named as MUSCL-THINC/QQ-BVD. The performance of the proposed scheme is demonstrated through solving compressible single-phase and multi-phase problems where the discontinuity is the typical flow structure. The numerical results show that the proposed scheme is capable of capturing sharp discontinuous profiles without numerical oscillations as well as resolving vortices associated with Kelvin-Helmholtz instabilities along shear layers and material interfaces. In comparison with schemes only replying on high order polynomials, the proposed scheme shows significant improvement of resolution across discontinuities. Thus, this work provides an accurate and robust shock-capturing scheme to resolve discontinuities in compressible flows.

preprint2020arXiv

Learning Spatiotemporal Features of Ride-sourcing Services with Fusion Convolutional Network

To collectively forecast the demand for ride-sourcing services in all regions of a city, the deep learning approaches have been applied with commendable results. However, the local statistical differences throughout the geographical layout of the city make the spatial stationarity assumption of the convolution invalid, which limits the performance of CNNs on the demand forecasting task. In this paper, we propose a novel deep learning framework called LC-ST-FCN (locally connected spatiotemporal fully-convolutional neural network) to address the unique challenges of the region-level demand forecasting problem within one end-to-end architecture (E2E). We first employ the 3D convolutional layers to fuse the spatial and temporal information existed in the input and then feed the spatiotemporal features extracted by the 3D convolutional layers to the subsequent 2D convolutional layers. Afterward, the prediction value of each region is obtained by the locally connected convolutional layers which relax the parameter sharing scheme. We evaluate the proposed model on a real dataset from a ride-sourcing service platform (DiDiChuxing) and observe significant improvements compared with a bunch of baseline models. Besides, we also illustrate the effectiveness of our proposed model by visualizing how different types of convolutional layers transform their input and capture useful features. The visualization results show that fully convolutional architecture enables the model to better localize the related regions. And the locally connected layers play an important role in dealing with the local statistical differences and activating useful regions.

preprint2020arXiv

Review on development of a scalable high-order nonhydrostatic multi-moment constrained finite volume dynamical core

This report summarizes the major progresses to develop the dynamic core for next-generation atmospherical model for both numerical weather prediction and climate simulation. The numerical framework is based on a general formulation, so-called multi-moment constrained finite volume (MCV) method, which is well-balanced among solution quality (accuracy and robustness), algorithmic simplicity, computational efficiency and flexibility for model configuration. A local high-order limiting projection is also devised to remove spurious oscillations and noises in numerical solutions, which allows the numerical model working well alone without artificial diffusion or filter. The resulted numerical schemes are very simple, efficient and easy to implement for both structured and unstructured grids, which provide a promising plateform of great practical significance. We have implemented the MCV method to shallow water equations on various spherical grids, including Yin-Yang overset grid, cubed sphere grid and geodesic icosahedral grid, non-hydrostatic compressible atmosherical model under complex topographic boundary conditions. In addition, the moist dynamics simulation like moist thermal bubble has been validated by using direct microphysical feedback. We have also constructed a prototype of 3D global non-hydrostatic compressible atmosherical model on cubed sphere grid with an explicit/implicit-hybrid time integration scheme, which can be used as the base to develop global atmospheric GCM. All the MCV models have been verified with widely used benchmark tests. The numerical results show that the present MCV models have solution quality competitive to other exiting high order models. Parallelization of the MCV shallow water model on cubed sphere grid reveals its suitability for large scale parallel processing with desirable scalability.

preprint2019arXiv

ICSTrace: A Malicious IP Traceback Model for Attacking Data of Industrial Control System

Considering the attacks against industrial control system are mostly organized and premeditated actions, IP traceback is significant for the security of industrial control system. Based on the infrastructure of the Internet, we have developed a novel malicious IP traceback model-ICSTrace, without deploying any new services. The model extracts the function codes and their parameters from the attack data according to the format of industrial control protocol, and employs a short sequence probability method to transform the function codes and their parameter into a vector, which characterizes the attack pattern of malicious IP addresses. Furthermore, a Partial Seeded K-Means algorithm is proposed for the pattern's clustering, which helps in tracing the attacks back to an organization. ICSTrace is evaluated basing on the attack data captured by the large-scale deployed honeypots for industrial control system, and the results demonstrate that ICSTrace is effective on malicious IP traceback in industrial control system.