arXiv subjects

Chang Hu

Publications and source records attributed to Chang Hu.

14 recordsLinked to original sources

arXiv2025

Adversarial Reasoning for Repair Based on Inferred Program Intent

Automated program repair (APR) has shown promising results, particularly with the use of neural networks. Currently, most APR tools focus on code transformations specified by test suites, rather than reasoning about the program intent and the high-level bug specification. Without a proper understanding of program intent, these tools tend to generate patches that overfit incomplete test suites and fail to reflect the developers intentions. However, reasoning about program intent is challenging. In our work, we propose an approach called AdverIntent-Agent, based on critique and adversarial reasoning. Our approach is novel to shift the focus from generating multiple APR patches to inferring multiple potential program intents. Ideally, we aim to infer intents that are, to some extent, adversarial to each other, maximizing the probability that at least one aligns closely with the developers original intent. AdverIntent-Agent is a multi-agent approach consisting of three agents: a reasoning agent, a test agent, and a repair agent. First, the reasoning agent generates adversarial program intents along with the corresponding faulty statements. Next, the test agent produces adversarial test cases that align with each inferred intent, constructing oracles that use the same inputs but have different expected outputs. Finally, the repair agent uses dynamic and precise LLM prompts to generate patches that satisfy both the inferred program intent and the generated tests. AdverIntent-Agent was evaluated on two benchmarks: Defects4J 2.0 and HumanEval-Java. AdverIntent-Agent correctly repaired 77 and 105 bugs in both benchmarks, respectively.

cs.SE↗

arXiv2025

Generating Function of Loop Reduction by Baikov Representation

In this work, we study the computation of reduction coefficients for multi loop Feynman integrals using generating functions constructed within the Baikov representation. Compared with traditional Feynman rules, the Baikov formalism offers a more structured and transparent framework, especially well suited for analyzing the reduction problem. We emphasize that, in a variety of nontrivial cases including several one loop and selected multi loop examples the generating functions can be explicitly computed in closed form, often involving hypergeometric or elementary functions. These analytic expressions signifi cantly simplify the determination of reduction coefficients and enhance their interpretability. The results demonstrate the practicality and potential of this approach, suggesting that the use of generating functions within the Baikov representation can serve as a powerful and flexible tool in modern Feynman integral reduction, even though its full scope for generic multi-loop topologies remains to be explored.

hep-th↗

arXiv2025

Direct Expression for One-Loop Tensor Reduction with Lorentz Indices via Generating Function

In recent work, we derived a direct expression for one-loop tensor reduction using generating functions and Feynman parametrization in projective space, avoiding recursive relations. However, for practical applications, this expression still presents two challenges: (1) While the final reduction coefficients are expressed in terms of the dimension D and Mandelstam variables, the given expression explicitly contains irrational functions; (2) The expression involves an auxiliary vector R, which can be eliminated via differentiation $\frac{\partial}{\partial R}$, but the presence of irrational terms making differentiation cumbersome. (3) Most practical applications require the tensor form with Lorentz indices. In this paper, we provide a rational form of the reduction coefficients with Lorentz indices, free from recursion. Additionally, We provide a pure Wolfram Mathematica implementation of the code. Our practical tests demonstrate that this direct expression achieves significantly higher computational efficiency compared to the traditional Passarino-Veltman (PV) reduction or other recursion-based methods.

hep-th↗

arXiv2024

GenTel-Safe: A Unified Benchmark and Shielding Framework for Defending Against Prompt Injection Attacks

Large Language Models (LLMs) like GPT-4, LLaMA, and Qwen have demonstrated remarkable success across a wide range of applications. However, these models remain inherently vulnerable to prompt injection attacks, which can bypass existing safety mechanisms, highlighting the urgent need for more robust attack detection methods and comprehensive evaluation benchmarks. To address these challenges, we introduce GenTel-Safe, a unified framework that includes a novel prompt injection attack detection method, GenTel-Shield, along with a comprehensive evaluation benchmark, GenTel-Bench, which compromises 84812 prompt injection attacks, spanning 3 major categories and 28 security scenarios. To prove the effectiveness of GenTel-Shield, we evaluate it together with vanilla safety guardrails against the GenTel-Bench dataset. Empirically, GenTel-Shield can achieve state-of-the-art attack detection success rates, which reveals the critical weakness of existing safeguarding techniques against harmful prompts. For reproducibility, we have made the code and benchmarking dataset available on the project page at https://gentellab.github.io/gentel-safe.github.io/.

cs.CR↗

arXiv2024

Towards tree Yang-Mills and Yang-Mills-scalar amplitudes with higher-derivative interactions

In our recent works, a new approach for constructing tree amplitudes, based on exploiting soft behaviors, was proposed. In this paper, we extend this approach to effective theories for gluons which incorporate higher-derivative interactions. By applying our method, we construct tree Yang-Mills (YM) and Yang-Mills-scalar (YMS) amplitudes with the single insertion of $F^3$ local operator, as well as the YM amplitudes those receive contributions from both $F^3$ and $F^4$ operators. All results are represented as universal expansions to appropriate basis. We also conjecture a compact general formula for tree YM amplitudes with higher mass dimension, which allows us to generate them from ordinary YM amplitudes, and discuss the consistent factorizations of the conjectured formula.

hep-th↗

arXiv2024

General One-loop Generating Function by IBP relations

In this paper we have studied the most general generating function of reduction for one loop integrals with arbitrary tensor structure in numerator and arbitrary power distribution of propagators in denominator. Using IBP relations, we have established the partial differential equations for these generating functions and solved them analytically. These results provide useful guidance for applying generating function method to reductions of higher loop integrals.

hep-ph↗

arXiv2023

Recursive construction for expansions of tree Yang-Mills amplitudes from soft theorem

In this paper, we have introduced a fundamentally different approach, based on a bottom-up methodology, to expand tree-level Yang-Mills (YM) amplitudes into Yang-Mills-scalar (YMS) amplitudes and Bi-adjoint-scalar (BAS) amplitudes. Our method relies solely on the intrinsic soft behavior of external gluons, eliminating the need for external aids such as Feynman rules or CHY rules. The recursive procedure consistently preserves explicit gauge invariance at every step, ultimately resulting in a manifest gauge-invariant outcome when the initial expression is already framed in a gauge-invariant manner. The resulting expansion can be directly analogized to the expansions of gravitational (GR) amplitudes using the double copy structure. When combined with the expansions of Einstein-Yang-Mills amplitudes obtained using the covariant double copy method from existing literature, the expansions presented in this note yield gauge-invariant BCJ numerators.

hep-th↗

arXiv2023

REMEDI: REinforcement learning-driven adaptive MEtabolism modeling of primary sclerosing cholangitis DIsease progression

Primary sclerosing cholangitis (PSC) is a rare disease wherein altered bile acid metabolism contributes to sustained liver injury. This paper introduces REMEDI, a framework that captures bile acid dynamics and the body's adaptive response during PSC progression that can assist in exploring treatments. REMEDI merges a differential equation (DE)-based mechanistic model that describes bile acid metabolism with reinforcement learning (RL) to emulate the body's adaptations to PSC continuously. An objective of adaptation is to maintain homeostasis by regulating enzymes involved in bile acid metabolism. These enzymes correspond to the parameters of the DEs. REMEDI leverages RL to approximate adaptations in PSC, treating homeostasis as a reward signal and the adjustment of the DE parameters as the corresponding actions. On real-world data, REMEDI generated bile acid dynamics and parameter adjustments consistent with published findings. Also, our results support discussions in the literature that early administration of drugs that suppress bile acid synthesis may be effective in PSC treatment.

q-bio.QM↗

arXiv2023

An Explicit Expression of Generating Function for One-Loop Tensor Reduction

This work introduces an explicit expression for the generation function for the reduction of an $n$-gon to an $(n-k)$-gon. A novel recursive relation of generation function is formulated based on Feynman Parametrization in projective space, involving a single ordinary differential equation. The explicit formulation of generation functions provides crucial insights into the complex analytic structure inherent in loop amplitudes.

hep-ph↗

arXiv2022

Reduction with Degenerate Gram matrix for One-loop Integrals

An improved PV-reduction method for one-loop integrals with auxiliary vector $R$ has been proposed in \cite{Feng:2021enk,Hu:2021nia}. It has also been shown that the new method is a self-completed method in \cite{Feng:2022uqp}. Analytic reduction coefficients can be easily produced by recursion relations in this method, where the Gram determinant appears in denominators. The singularity caused by Gram determinant is a well-known fact and it is important to address these divergences in a given frame. In this paper, we propose a systematical algorithm to deal with this problem in our method. The key idea is that now the master integral of the highest topology will be decomposed into combinations of master integrals of lower topologies. By demanding the cancellation of divergence for obtained general reduction coefficients, we solve decomposition coefficients as a Taylor series of the Gram determinant. Moreover, the same idea can be applied to other kinds of divergences.

hep-ph↗

arXiv2021

One-loop Feynman Integral Reduction by Differential Operators

For loop integrals, the standard method is reduction. A well-known reduction method for one-loop integrals is the Passarino-Veltman reduction. Inspired by the recent paper [1] where the tadpole reduction coefficients have been solved, in this paper we show the same technique can be used to give a complete integral reduction for any one-loop integrals. The differential operator method is an improved version of the PV-reduction method. Using this method, analytic expressions of all reduction coefficients of the master integrals can be given by algebraic recurrence relation easily. We demonstrate our method explicitly with several examples.

hep-ph↗

arXiv2021

Note on solutions of scattering equations

In the CHY-frame for the amplitudes, there are two kinds of singularities we need to deal with. The first one is the pole singularities when the kinematics is not general, such that some of $S_A\to 0$. The second one is the collapse of locations of points after solving scattering equations (i.e., the singular solutions). These two types of singularities are tightly related to each other, but the exact mapping is not well understood. In this paper, we have initiated the systematic study of the mapping. We have demonstrated the different mapping patterns using three typical situations, i.e., the factorization limit, the soft limit and the forward limit.

hep-th↗

arXiv2020

Boundary Contributions of On-shell Recursion Relations With Multiple-line Deformation

On-shell recursion relation has been recognized as a powerful tool for calculating tree level amplitudes in quantum field theory, but it doesn't work well when the residue of the deformed amplitude $\hat{A}(z)$ doesn't vanish at infinity of $z$. However, in such situation, we still can get the right amplitude by computing the boundary contribution explicitly. In arXiv:0801.2385, background field method was first used to analyze the boundary behaviors of amplitudes with two deformed external lines in different theories. The same method has also been generalized to calculate the explicit boundary operators of some amplitudes with BCFW-like deformation in arXiv:1507.00463. In this paper, we will take a step further to generalize the method into the case of multiple-line deformation, and to show how the boundary behaviors (even the boundary contributions) can be extracted in the method.

hep-th↗

arXiv2019

One-loop CHY-Integrand of Bi-adjoint Scalar Theory

In this paper, the one-loop CHY-integrands of bi-adjoint scalar theory has been reinvestigated. Differing from previous constructions, we have explicitly removed contributions from tadpole and massless bubbles when taking the forward limit of corresponding tree-level amplitudes. The way to remove those singular contributions is to exploit the idea of 'picking poles', which is to multiply a special cross ratio factor with the role of isolating terms having a particular pole structure.

hep-th↗