Searcharxiv⌕ Search

arXiv subjects

Ting Zhang

Publications and source records attributed to Ting Zhang.

At least 109 records · Page 6Linked to original sources

Process-Supervised Reinforcement Learning for Code Generation

Existing reinforcement learning strategies based on outcome supervision have proven effective in enhancing the performance of large language models(LLMs) for code generation. While reinforcement learning based on process supervision has shown great promise in handling multi-step reasoning tasks, its effectiveness in code generation remains largely underexplored and underjustified. The primary obstacle stems from the resource-intensive nature of constructing high-quality process-supervised data, which demands substantial human expertise and computational resources. In response to this challenge, we propose a "statement mutation/refactoring-compile and execution verification" strategy: mutating and refactoring code line-by-line through a teacher model, and utilizing compiler execution results to automatically label each line, resulting in line-by-line process-supervised data, which is pivotal for training a process-supervised reward model. The trained reward model is then integrated into the PRLCoder framework, followed by experimental validation on several benchmarks. Experimental results demonstrate that process-supervised reinforcement learning significantly surpasses methods relying solely on outcome supervision. Notably, in tackling complex code generation tasks, process-supervised reinforcement learning shows a clear advantage, ensuring both the integrity of the code generation process and the correctness of the generation results.

cs.SE↗

Bubble Modeling and Tagging: A Stochastic Nonlinear Autoregression Approach

Economic and financial time series can feature locally explosive behavior when a bubble is formed. The economic or financial bubble, especially its dynamics, is an intriguing topic that has been attracting longstanding attention. To illustrate the dynamics of the local explosion itself, the paper presents a novel, simple, yet useful time series model, called the stochastic nonlinear autoregressive model, which is always strictly stationary and geometrically ergodic and can create long swings or persistence observed in many macroeconomic variables. When a nonlinear autoregressive coefficient is outside of a certain range, the model has periodically explosive behaviors and can then be used to portray the bubble dynamics. Further, the quasi-maximum likelihood estimation (QMLE) of our model is considered, and its strong consistency and asymptotic normality are established under minimal assumptions on innovation. A new model diagnostic checking statistic is developed for model fitting adequacy. In addition, two methods for bubble tagging are proposed, one from the residual perspective and the other from the null-state perspective. Monte Carlo simulation studies are conducted to assess the performances of the QMLE and the two bubble tagging methods in finite samples. Finally, the usefulness of the model is illustrated by an empirical application to the monthly Hang Seng Index.

math.ST↗

ILDiff: Generate Transparent Animated Stickers by Implicit Layout Distillation

High-quality animated stickers usually contain transparent channels, which are often ignored by current video generation models. To generate fine-grained animated transparency channels, existing methods can be roughly divided into video matting algorithms and diffusion-based algorithms. The methods based on video matting have poor performance in dealing with semi-open areas in stickers, while diffusion-based methods are often used to model a single image, which will lead to local flicker when modeling animated stickers. In this paper, we firstly propose an ILDiff method to generate animated transparent channels through implicit layout distillation, which solves the problems of semi-open area collapse and no consideration of temporal information in existing methods. Secondly, we create the Transparent Animated Sticker Dataset (TASD), which contains 0.32M high-quality samples with transparent channel, to provide data support for related fields. Extensive experiments demonstrate that ILDiff can produce finer and smoother transparent channels compared to other methods such as Matting Anything and Layer Diffusion. Our code and dataset will be released at link https://xiaoyuan1996.github.io.

cs.CV↗

A Theoretical Review on Solving Algebra Problems

Solving algebra problems (APs) continues to attract significant research interest as evidenced by the large number of algorithms and theories proposed over the past decade. Despite these important research contributions, however, the body of work remains incomplete in terms of theoretical justification and scope. The current contribution intends to fill the gap by developing a review framework that aims to lay a theoretical base, create an evaluation scheme, and extend the scope of the investigation. This paper first develops the State Transform Theory (STT), which emphasizes that the problem-solving algorithms are structured according to states and transforms unlike the understanding that underlies traditional surveys which merely emphasize the progress of transforms. The STT, thus, lays the theoretical basis for a new framework for reviewing algorithms. This new construct accommodates the relation-centric algorithms for solving both word and diagrammatic algebra problems. The latter not only highlights the necessity of introducing new states but also allows revelation of contributions of individual algorithms obscured in prior reviews without this approach.

cs.LO↗

RingFormer: A Ring-Enhanced Graph Transformer for Organic Solar Cell Property Prediction

Organic Solar Cells (OSCs) are a promising technology for sustainable energy production. However, the identification of molecules with desired OSC properties typically involves laborious experimental research. To accelerate progress in the field, it is crucial to develop machine learning models capable of accurately predicting the properties of OSC molecules. While graph representation learning has demonstrated success in molecular property prediction, it remains underexplored for OSC-specific tasks. Existing methods fail to capture the unique structural features of OSC molecules, particularly the intricate ring systems that critically influence OSC properties, leading to suboptimal performance. To fill the gap, we present RingFormer, a novel graph transformer framework specially designed to capture both atom and ring level structural patterns in OSC molecules. RingFormer constructs a hierarchical graph that integrates atomic and ring structures and employs a combination of local message passing and global attention mechanisms to generate expressive graph representations for accurate OSC property prediction. We evaluate RingFormer's effectiveness on five curated OSC molecule datasets through extensive experiments. The results demonstrate that RingFormer consistently outperforms existing methods, achieving a 22.77% relative improvement over the nearest competitor on the CEPDB dataset.

cs.LG↗

Stable Approximation for Call Function Via Stein's method

Let $S_{n}$ be a sum of independent identically distribution random variables with finite first moment and $h_{M}$ be a call function defined by $g_{M}(x)=\max\{x-M,0\}$ for $x\in\mathbb{R}$, $M>0$. In this paper, we assume the random variables are in the domain $\mathcal{R}_α$ of normal attraction of a stable law of exponent $α$, then for $α\in(1,2)$, we use the Stein's method developed in \cite{CNX21} to give uniform and non uniform bounds on $α$-stable approximation for the call function without additional moment assumptions. These results will make the approximation theory of call function applicable to the lower moment conditions, and greatly expand the scope of application of call function in many fields.

math.PR↗

On the H-atom abstractions from C1-C4 alcohols, aldehydes, and ethers by NO2: ab initio and comprehensive kinetic modeling

As crucial additives and intermediate, alcohols, ethers, and aldehydes play a significant role in the combustion process. However, the chemistry of NOXhydrocarbon interactions and the rate rules governing these interactions remain largely unexplored in this combustion system. To address this gap, this study provides a comprehensive investigation of H-atom abstraction by NO2 from C1-C4 alcohols, aldehydes and ethers that leads to the formation of 3 HNO2 isomers (i.e., transHONO, HNO2, and cisHONO), encompassing 9 hydrocarbons and 45 reactions. Utilizing the DLPNO CCSD(T)cc pVDZ M06 2X 6 311g d,p method, the electronic structures, single point energies, C H bond dissociation energies and 1 D hindered rotor potentials of the reactants, transition states, complexes and products in each reaction are computed. Adding these H atom abstractions to the chemical kinetic model improves the model reactivity and advances the ignition, as indicated by the reduction in ignition delay time for species that initially lacked these reactions. Further sensitivity and flux analyses highlight the crucial role of H atom abstraction by NO2. The findings underscore the importance of accurately incorporating these kinetic parameters into newly developed chemical models for alcohols, aldehydes, and ethers. Additionally, the study highlights the need for future experimental efforts to investigate the effects of NO2 on the combustion systems of these compounds.

physics.chem-ph↗

Gate-Controllable Quadri-Layertronics in 2D Multiferroic Antiferromagnet

Layertronics that manifests layer Hall effect is typically considered to intrinsically possess binary physics. Using symmetry arguments and a low-energy kp model, we show that the layer physics in layertronics can be engineered into quaternary mode, giving rise to the concept of quadri-layertronics. The mechanism correlates to the interplay between out-of-plane ferroelectricity and valley physics in antiferromagnetic multiferroic quadrilayer, which enables the layer-locked Berry curvature and Hall effect, i.e., deflecting the carriers with four different layer physics to move in specific directions. More importantly, the quadri-layertronics can be generated and manipulated by controlling the interlayer dipole arrangements via a gate voltage, allowing for the selective induction and detection of layer Hall effect in specific layers. Using first principles calculations, we further demonstrate the gate control of quadri-layertronics in multiferroic antiferromagnet of quadrilayer OsCl2. These explored phenomena and insights greatly enrich the research on layertronics.

cond-mat.mtrl-sci↗

DeTeCtive: Detecting AI-generated Text via Multi-Level Contrastive Learning

Current techniques for detecting AI-generated text are largely confined to manual feature crafting and supervised binary classification paradigms. These methodologies typically lead to performance bottlenecks and unsatisfactory generalizability. Consequently, these methods are often inapplicable for out-of-distribution (OOD) data and newly emerged large language models (LLMs). In this paper, we revisit the task of AI-generated text detection. We argue that the key to accomplishing this task lies in distinguishing writing styles of different authors, rather than simply classifying the text into human-written or AI-generated text. To this end, we propose DeTeCtive, a multi-task auxiliary, multi-level contrastive learning framework. DeTeCtive is designed to facilitate the learning of distinct writing styles, combined with a dense information retrieval pipeline for AI-generated text detection. Our method is compatible with a range of text encoders. Extensive experiments demonstrate that our method enhances the ability of various text encoders in detecting AI-generated text across multiple benchmarks and achieves state-of-the-art results. Notably, in OOD zero-shot evaluation, our method outperforms existing approaches by a large margin. Moreover, we find our method boasts a Training-Free Incremental Adaptation (TFIA) capability towards OOD data, further enhancing its efficacy in OOD detection scenarios. We will open-source our code and models in hopes that our work will spark new thoughts in the field of AI-generated text detection, ensuring safe application of LLMs and enhancing compliance. Our code is available at https://github.com/heyongxin233/DeTeCtive.

cs.CL↗

Explaining Explanation: An Empirical Study on Explanation in Code Reviews

Code reviews are central for software quality assurance. Ideally, reviewers should explain their feedback to enable authors of code changes to understand the feedback and act accordingly. Different developers might need different explanations in different contexts. Therefore, assisting this process first requires understanding the types of explanations reviewers usually provide. The goal of this paper is to study the types of explanations used in code reviews and explore the potential of Large Language Models (LLMs), specifically ChatGPT, in generating these specific types. We extracted 793 code review comments from Gerrit and manually labeled them based on whether they contained a suggestion, an explanation, or both. Our analysis shows that 42% of comments only include suggestions without explanations. We categorized the explanations into seven distinct types including rule or principle, similar examples, and future implications. When measuring their prevalence, we observed that some explanations are used differently by novice and experienced reviewers. Our manual evaluation shows that, when the explanation type is specified, ChatGPT can correctly generate the explanation in 88 out of 90 cases. This foundational work highlights the potential for future automation in code reviews, which can assist developers in sharing and obtaining different types of explanations as needed, thereby reducing back-and-forth communication.

cs.SE↗

Direct writing of high temperature superconducting Josephson junctions using a thermal scanning probe

In this letter, we demonstrate for the first time the creation of Josephson-like superconducting nanojunctions using a thermal scanning probe to directly inscribe weak links into microstrips of YBa2Cu3O7-x (YBCO). Our method effectively reduces the critical current (Ic) over an order of magnitude. The resulting nanobridges exhibit clear evidence of Josephson effects, of SNS-type junctions, as shown by both the DC and AC Josephson effects. This approach provides a novel and flexible method for scaling up quantum mechanical circuits that operate at liquid nitrogen temperatures. Additionally, it offers a promising pathway for modifying properties of the junctions in-situ and post fabrication.

cond-mat.supr-con↗

Investigation of real-fluid effects on NH$_3$ oxidation and blending characteristics at supercritical conditions via high-order Virial equation of state coupled with ab initio intermolecular potentials

Significant efforts have been committed to understanding the fundamental combustion chemistry of ammonia at high-pressure and low-temperature conditions with or without blending with other fuels, as these are promising to improve ammonia combustion performance and reduce NOx emission. A commonly used fundamental reactor is the jet-stirred reactor (JSR). However, modeling of high-pressure JSR experiments have been conducted assuming complete ideal gas behaviors, which might lead to misinterpreted or completely wrong results. Therefore, this study proposes, for the first time, a novel framework coupling high-order Virial equation of state, ab initio multi-body intermolecular potential, and real-fluid governing equations. The framework is further applied to investigate NH$_3$ oxidation under supercritical conditions in jet-stirred reactors, where the real-fluid effects on NH$_3$ oxidation characteristics are quantified and compared, via simulated species profiles and relative changes in simulated mole fractions, at various temperatures, pressures, dilution ratios, equivalence ratios, and with or without blending with H$_2$ and CH$_4$. Strong promoting effects on NH$_3$ oxidation from real-fluid effects are revealed, with significant shifts in simulated species profiles observed for both fuel, intermediates and product species. Sensitivity analyses are also conducted based on the new framework, with diverse influences of real-fluid effects on the contributions of the most sensitive pathways highlighted. It is found that, without considering real-fluid behaviors, the error introduced in simulated species mole fractions can reach 85% at the conditions investigated in this study. Propagation of such levels of error to chemical kinetic mechanisms can disqualify them for any meaningful modeling work. These errors can now be excluded using the framework developed in this study.

physics.chem-ph↗

Computation Pre-Offloading for MEC-Enabled Vehicular Networks via Trajectory Prediction

Task offloading is of paramount importance to efficiently orchestrate vehicular wireless networks, necessitating the availability of information regarding the current network status and computational resources. However, due to the mobility of the vehicles and the limited computational resources for performing task offloading in near-real-time, such schemes may require high latency, thus, become even infeasible. To address this issue, in this paper, we present a Trajectory Prediction-based Pre-offloading Decision (TPPD) algorithm for analyzing the historical trajectories of vehicles to predict their future coordinates, thereby allowing for computational resource allocation in advance. We first utilize the Long Short-Term Memory (LSTM) network model to predict each vehicle's movement trajectory. Then, based on the task requirements and the predicted trajectories, we devise a dynamic resource allocation algorithm using a Double Deep Q-Network (DDQN) that enables the edge server to minimize task processing delay, while ensuring effective utilization of the available computational resources. Our simulation results verify the effectiveness of the proposed approach, showcasing that, as compared with traditional real-time task offloading strategies, the proposed TPPD algorithm significantly reduces task processing delay while improving resource utilization.

cs.NI↗

JavaVFC: Java Vulnerability Fixing Commits from Open-source Software

We present a comprehensive dataset of Java vulnerability-fixing commits (VFCs) to advance research in Java vulnerability analysis. Our dataset, derived from thousands of open-source Java projects on GitHub, comprises two variants: JavaVFC and JavaVFC-extended. The dataset was constructed through a rigorous process involving heuristic rules and multiple rounds of manual labeling. We initially used keywords to filter candidate VFCs based on commit messages, then refined this keyword set through iterative manual labeling. The final labeling round achieved a precision score of 0.7 among three annotators. We applied the refined keyword set to 34,321 open-source Java repositories with over 50 GitHub stars, resulting in JavaVFC with 784 manually verified VFCs and JavaVFC-extended with 16,837 automatically identified VFCs. Both variants are presented in a standardized JSONL format for easy access and analysis. This dataset supports various research endeavors, including VFC identification, fine-grained vulnerability detection, and automated vulnerability repair. The JavaVFC and JavaVFC-extended are publicly available at https://zenodo.org/records/13731781.

cs.SE↗

Machine Learning-Based Prediction of Key Genes Correlated to the Subretinal Lesion Severity in a Mouse Model of Age-Related Macular Degeneration

Age-related macular degeneration (AMD) is a major cause of blindness in older adults, severely affecting vision and quality of life. Despite advances in understanding AMD, the molecular factors driving the severity of subretinal scarring (fibrosis) remain elusive, hampering the development of effective therapies. This study introduces a machine learning-based framework to predict key genes that are strongly correlated with lesion severity and to identify potential therapeutic targets to prevent subretinal fibrosis in AMD. Using an original RNA sequencing (RNA-seq) dataset from the diseased retinas of JR5558 mice, we developed a novel and specific feature engineering technique, including pathway-based dimensionality reduction and gene-based feature expansion, to enhance prediction accuracy. Two iterative experiments were conducted by leveraging Ridge and ElasticNet regression models to assess biological relevance and gene impact. The results highlight the biological significance of several key genes and demonstrate the framework's effectiveness in identifying novel therapeutic targets. The key findings provide valuable insights for advancing drug discovery efforts and improving treatment strategies for AMD, with the potential to enhance patient outcomes by targeting the underlying genetic mechanisms of subretinal lesion development.

q-bio.GN↗

Revisiting Sentiment Analysis for Software Engineering in the Era of Large Language Models

Software development involves collaborative interactions where stakeholders express opinions across various platforms. Recognizing the sentiments conveyed in these interactions is crucial for the effective development and ongoing maintenance of software systems. For software products, analyzing the sentiment of user feedback, e.g., reviews, comments, and forum posts can provide valuable insights into user satisfaction and areas for improvement. This can guide the development of future updates and features. However, accurately identifying sentiments in software engineering datasets remains challenging. This study investigates bigger large language models (bLLMs) in addressing the labeled data shortage that hampers fine-tuned smaller large language models (sLLMs) in software engineering tasks. We conduct a comprehensive empirical study using five established datasets to assess three open-source bLLMs in zero-shot and few-shot scenarios. Additionally, we compare them with fine-tuned sLLMs, using sLLMs to learn contextual embeddings of text from software platforms. Our experimental findings demonstrate that bLLMs exhibit state-of-the-art performance on datasets marked by limited training data and imbalanced distributions. bLLMs can also achieve excellent performance under a zero-shot setting. However, when ample training data is available or the dataset exhibits a more balanced distribution, fine-tuned sLLMs can still achieve superior results.

cs.SE↗

The first application of high-order Virial equation of state and ab initio multi-body potentials in modeling supercritical oxidation in jet-stirred reactors

Supercritical oxidation processes in jet-stirred reactors (JSR) have been modeled based on ideal gas assumption. This can lead to significant errors in or complete misinterpretation of modeling results. Therefore, this study newly developed a framework to model supercritical oxidation in JSRs by incorporating ab initio multi-body molecular potentials and high-order mixture Virial equation of state (EoS) into real-fluid conservation laws, with the related numerical strategies highlighted. With comparisons with the simulation results based on ideal EoS and the experimental data from high-pressure JSR experiments, the framework is proved to be a step forward compared to the existing JSR modeling frameworks. To reveal the real-fluid effects on the oxidation characteristics in jet-stirred reactors, simulations are further conducted at a wide range of conditions (i.e., temperatures from 500 to 1100 K and pressures from 100 to 1000 bar), the real-fluid effect is found to significantly promote fuel oxidation reactivity, especially at low temperatures, high pressures, and for mixtures with heavy fuels. The significant influences of real-fluid behaviors on JSR oxidation characteristics emphasize the need to adequately incorporate these effects for future modeling studies in JSR at high pressures, which has now been enabled through the framework proposed in this study.

physics.chem-ph↗

On the key kinetic interactions between NOx and unsaturated hydrocarbons: H-atom abstraction from C3-C7 alkynes and dienes by NO2

An adequate understanding of NOx interacting chemistry is a prerequisite for a smoother transition to carbon lean and carbon free fuels such as ammonia and hydrogen. In this regard, this study presents a comprehensive study on the H atom abstraction by NO2 from C3 to C7 alkynes and dienes forming 3 HNO2 isomers (i.e., TRANS HONO, HNO2, and CIS HONO), encompassing 8 hydrocarbons and 24 reactions. Through a combination of high level quantum chemistry computation, the rate coefficients for all studied reactions, over a temperature range from 298 to 2000 K, are computed based on Transition State Theory using the Master Equation System Solver program with considering unsymmetric tunneling corrections. Comprehensive analysis of branching ratios elucidates the diversity and similarities between different species, different HNO2 isomers, and different abstraction sites. Incorporating the calculated rate parameters into a recent chemistry model reveals the significant influences of this type of reaction on model performance, where the updated model is consistently more reactive for all the alkynes and dienes studied in predicting autoignition characteristics. Sensitivity and flux analyses are further conducted, through which the importance of H atom abstractions by NO2 is highlighted. With the updated rate parameters, the branching ratios in fuel consumption clearly shifts towards H atom abstractions by NO2 while away from H atom abstractions by OH. The obtained results emphasize the need for adequately representing these kinetics in new alkyne and diene chemistry models to be developed by using the rate parameters determined in this study, and call for future efforts to experimentally investigate NO2 blending effects on alkynes and dienes.

physics.chem-ph↗