arXiv Science⌕ Search

arXiv subjects

Xiang Gao

Publications and source records attributed to Xiang Gao.

At least 73 records · Page 4Linked to original sources
arXiv2026

Learning to Rewrite Tool Descriptions for Reliable LLM-Agent Tool Use

While most efforts to improve LLM-based tool-using agents focus on the agent itself - through larger models, better prompting, or fine-tuning - agent performance increasingly plateaus due to the quality of the tool interfaces these agents consume. Tool descriptions are often written for human developers and tolerate ambiguity that agents cannot resolve, particularly as the number of candidate tools grows. Existing approaches to improving tool interfaces (1) require re-running a multi-stage per-tool pipeline - synthesizing queries, executing an agent to collect trajectories, annotating trajectories, and prompting a strong LLM multiple times - for every API that enters the catalog, and (2) typically optimize each tool independently, limiting scalability and generalization to unseen tools. We propose Trace-Free+, a curriculum learning framework that progressively transfers supervision from trace-rich settings to trace-free deployment, encouraging the model to internalize reusable patterns of what makes a tool description effective. To support this approach, we construct a large-scale dataset of high-quality tool interfaces derived from real-world APIs through a principled data synthesis workflow. Experiments on widely adopted benchmarks show that Trace-Free+ improves robustness as tool catalogs scale to 150+ candidates - in scaling experiments, reducing accuracy degradation by 29.23% and improving average query-level success by 60.89% on StableToolBench - generalizes across domains without retraining, and provides complementary gains on top of agent fine-tuning.

cs.AI↗
arXiv2026

Physical Parameters of 146 Contact Binaries Derived from Light and Radial Velocity Curves

We present a comprehensive analysis of 146 contact binaries using medium-resolution LAMOST spectra and photometric data from the All-Sky Automated Survey for SuperNovae (ASAS-SN) and the Transiting Exoplanet Survey Satellite (TESS). Radial velocity curves obtained through the cross-correlation function method were modeled simultaneously with the light curves using the Wilson-Devinney code to derive the physical parameters of these systems. The reliability of our results was verified through comparison with previous studies of ten systems, showing good agreement. Our analysis shows that the more massive components are generally less-evolved main-sequence stars, whereas the less massive components tend to be over-sized and over-luminous, consistent with earlier findings. The distribution of orbital angular momentum supports the scenario in which contact binaries form from detached binaries via angular momentum loss. We identified 38 low mass ratio ($q < 0.25$) systems, 11 of which have extremely low mass ratios ($q < 0.15$). A remarkable example is ASASSN-V J111451.48+005038.6, which exhibits a mass ratio of 0.113 and the highest fill-out factor (98.3%) reported to date, making it a strong candidate for future mergers. Conversely, we also identified 11 high mass ratio (H-type) systems, including ASASSN-V J093921.74+390452.6 - the system with the highest spectroscopically confirmed mass ratio ($q = 0.993$) and a low fill-out factor (1.8%), suggesting it recently entered the contact phase. Additionally, several empirical relations between physical parameters are established.

astro-ph.SR↗
arXiv2026

Scaling Recurrence-aware Foundation Models for Clinical Records via Next-Visit Prediction

While large-scale pretraining has revolutionized language modeling, its potential remains underexplored in healthcare with structured electronic health records (EHRs). We present RAVEN, a novel generative pretraining strategy for sequential EHR data based on Recurrence-Aware next-Visit EveNt prediction. Leveraging a dataset of over one million unique individuals, our model learns to autoregressively generate tokenized clinical events for the next visit conditioned on patient history. We introduce regularization on predicting repeated events and highlight a key pitfall in EHR-based foundation model evaluations: repeated event tokens can inflate performance metrics when new onsets are not distinguished from subsequent occurrences. Furthermore, we empirically investigate the scaling behaviors in a data-constrained, compute-saturated regime, showing that simply increasing model size is suboptimal without commensurate increases in data volume. We evaluate our model via zero-shot prediction for forecasting the incidence of a diverse set of diseases, where it rivals fully fine-tuned representation-based Transformer models and outperforms both standard simulation-based next-token approaches and a prompted medical large language model baseline. Finally, without additional parameter updates, we show that RAVEN can generalize to an external patient cohort under lossy clinical code mappings and feature coverage gaps.

cs.LG↗
arXiv2026

MASFuzzer: Fuzz Driver Generation and Adaptive Scheduling via Multidimensional API Sequences

Fuzz testing of software libraries relies on fuzz drivers to invoke library APIs. Traditionally, these drivers are written manually by developers - a process that is time-consuming and often inadequate for exercising complex program behaviors. While recent studies have explored the use of Large Language Models (LLMs) to automate fuzz driver generation, the resulting drivers often fail to cover deep program branches. To address these challenges, we propose MASFUZZER, a fuzzing framework that integrates multidimensional API sequence construction with adaptive fuzzing scheduling strategies to improve library testing. At its core, MASFUZZER synthesizes context-relevant API call sequences by referring to API usage examples from the codebase and applying mutation-propagation-based and semantic-aware API sequence mining. These multidimensional API sequences serve as the basis for LLMs to generate effective initial drivers. In addition, MASFUZZER incorporates a coverage-guided scheduler that prioritizes testing time for the most promising drivers, along with a driver mutation strategy to evolve them. This enables systematic generation of fuzz drivers to explore previously untested code regions. We evaluate MASFUZZER on 12 widely used open-source libraries. The results show that MASFUZZER achieves 8.54 percent higher code coverage than state-of-the-art techniques. Moreover, MASFUZZER uncovers 16 previously unknown vulnerabilities in extensively tested libraries, with 14 confirmed by developers and 9 assigned CVE identifiers. These results indicate that MASFUZZER provides an efficient and practical approach for fuzzing software libraries.

cs.SE↗
arXiv2026

Quark-Mass Dependence of Light-Nuclei Masses from Lattice QCD and Trace-Anomaly Contributions to Nuclear Bindings

We present lattice QCD calculations of the masses of the deuteron, dineutron, Helium-3 and Helium-4 with physical sea quarks and valence quark masses corresponding to pion masses between 140 and 700 MeV. At the physical point, the lowest finite-volume two-nucleon energy levels exhibit the qualitative pattern of a bound deuteron and an unbound dineutron within uncertainties, while at heavier quark masses they indicate the presence of deeply bound states. Compared with expectations from low-energy effective field theories, the observed mass dependence of the binding energies provides first-principles constraints on the quark-mass dependence of two- and three-nucleon interactions. From the quark-mass variation of the nuclear energies, we determine nuclear sigma terms and quantify the response of light-nuclear masses to changes in the light-quark mass. Using the QCD trace anomaly relation, we decompose the nuclear binding energy into quark-mass and gluonic contributions around the deuteron mass scale of $μ=2$ GeV. We find that the quark-mass contribution to the binding energy is small and approximately additive in nucleon number within current precision, whereas the gluonic component provides the dominant contribution and show milder increases with mass number.

hep-lat↗
arXiv2026

Plasma Screening Effects in Stark Broadening: A Fully Relativistic Close-Coupling Approach

Stark broadening of spectral lines in plasmas is a cornerstone of opacity modeling and plasma diagnostics, with critical implications for controlled fusion and astrophysics. Despite recent advances in fully quantum-mechanical close-coupling calculations for electron-impact broadening, the impact of denser plasma environments remains largely unexplored due to theoretical bottlenecks associated with electron-ion collision processes. Based on our newly developed close-coupling theory for electron-ion collisions in plasmas, which resolves the problem of extracting short-range scattering phase shifts, we introduce a fully relativistic close-coupling approach for the Stark broadening that incorporates plasma screening effects. Systematic investigations of hydrogenic radiators reveal distinct patterns of line broadening dependence on plasma conditions, offering valuable insights for plasma diagnostic applications. Furthermore, we provide a quantum-mechanical interpretation of the screening factor commonly introduced in semi-classical impact theories. This work establishes a robust foundation for future studies on complex atomic systems in high-density plasmas.

physics.plasm-ph↗
arXiv2026

Large-Momentum Effective Theory's Asymptotic Extrapolation vs the Inverse Problem

Large-Momentum Effective Theory (LaMET) is a physics-guided systematic expansion to calculate light-cone parton distributions, including collinear (PDFs) and transverse-momentum-dependent ones, at any fixed momentum fraction $x$ within a range of $[x_{\rm min}, x_{\rm max}]$. It theoretically solves the ill-posed inverse problem that afflicts other theoretical approaches to collinear PDFs, such as short-distance factorizations. Recently, arXiv:2504.17706 [1] raised practical concerns about whether current or even future lattice data will have sufficient precision in the sub-asymptotic correlation region to support an error-controlled extrapolation -- and if not, whether it becomes an inverse problem where the relevant uncertainties cannot be properly quantified. While we agree that not all current lattice data have the desired precision to qualify for an asymptotic extrapolation, some calculations do, and more are expected in the future. We comment on the analysis and results in Ref. [1] and argue that a physics-based systematic extrapolation still provides the most reliable error estimates, even when the data quality is not ideal. In contrast, re-framing the long-distance asymptotic extrapolation as a data-driven-only inverse problem with ad hoc mathematical conditioning could lead to unnecessarily conservative errors.

hep-lat↗
arXiv2026

REMem: Reasoning with Episodic Memory in Language Agent

Humans excel at remembering concrete experiences along spatiotemporal contexts and performing reasoning across those events, i.e., the capacity for episodic memory. In contrast, memory in language agents remains mainly semantic, and current agents are not yet capable of effectively recollecting and reasoning over interaction histories. We identify and formalize the core challenges of episodic recollection and reasoning from this gap, and observe that existing work often overlooks episodicity, lacks explicit event modeling, or overemphasizes simple retrieval rather than complex reasoning. We present REMem, a two-phase framework for constructing and reasoning with episodic memory: 1) Offline indexing, where REMem converts experiences into a hybrid memory graph that flexibly links time-aware gists and facts. 2) Online inference, where REMem employs an agentic retriever with carefully curated tools for iterative retrieval over the memory graph. Comprehensive evaluation across four episodic memory benchmarks shows that REMem substantially outperforms state-of-the-art memory systems such as Mem0 and HippoRAG 2, showing 3.4% and 13.4% absolute improvements on episodic recollection and reasoning tasks, respectively. Moreover, REMem also demonstrates more robust refusal behavior for unanswerable questions.

cs.AI↗
arXiv2026

A Photometric and Spectroscopic investigation of 11 TESS eclipsing contact binaries

By cross-matching the eclipsing binary catalog provided by Prsa et al. (2022) with LAMOST medium resolution spectra, we obtained 11 targets. Combining light and radial velocity curves analysis, we have derived accurate physical parameters for these 11 targets. The results indicate that there are 3 deep contact binaries, 3 moderate ones, and 5 shallow ones. Among them, 3 targets exhibit the O'Connell effect, which is attributed to the presence of star-spot on the component's surface. One target is a low-mass ratio deep contact binary and may be contact binary merging candidates. The evolutionary status of these 11 targets was studied using the mass-luminosity and mass-radius relation diagrams. Based on the O-C (Observed minus Calculated) analysis of 10 targets, we found that the orbital periods of 5 contact binaries show a long-term decreasing trend, likely due to the combined effects of mass transfer between the two components and loss of angular momentum. Meanwhile, the orbital periods of the other 4 stars are continuously increasing, which is attributed to mass transfer. Besides, the O-C curves of 3 targets show clear periodic changes, which might result from the Applegate mechanism or the light travel time effect.

astro-ph.SR↗
arXiv2026

Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction

The evaluation of code-generating Large Language Models (LLMs) is fundamentally constrained by two intertwined challenges: a reliance on static, easily contaminated problem sources and the use of superficial, low-rigor testing. This paper introduces a new benchmark construction philosophy, Dual Scaling, designed to systematically address both limitations. Our approach involves continuously scaling the source of problems from dynamic, real-world code repositories and systematically scaling the rigor of tests via automated, high-coverage Property-Based Testing (PBT). We instantiate this philosophy in CODE2BENCH, an end-to-end framework that leverages Scope Graph analysis for principled dependency classification and a 100% branch coverage quality gate to ensure test suite integrity. Using this framework, we construct CODE2BENCH-2509, a new benchmark suite with native instances in both Python and Java. Our extensive evaluation of 10 state-of-the-art LLMs on CODE2BENCH-2509, powered by a novel "diagnostic fingerprint" visualization, yields three key insights: (1) models exhibit a fundamental performance gap, excelling at API application (Weakly Self-Contained tasks) but struggling with algorithmic synthesis (Self-Contained tasks); (2) a model's performance is profoundly shaped by the target language's ecosystem, a nuance we are the first to systematically quantify; and (3) our rigorous, scaled testing is critical in uncovering an "illusion of correctness" prevalent in simpler benchmarks. Our work presents a robust, scalable, and diagnostic paradigm for the next generation of LLM evaluation in software engineering. The code, data, and results are available at https://code2bench.github.io/.

cs.SE↗
arXiv2026

Resolving compositional and conformational heterogeneity in cryo-EM with deformable 3D Gaussian representations

Understanding protein flexibility and its dynamic interactions with other molecules is essential for studying protein function. Although cryogenic electron microscopy(cryo-EM) provides an opportunity to observe macromolecular dynamics directly, computational analysis of datasets mixing continuous and discrete structural states remains a formidable challenge. Here we introduce GaussianEM, a Gaussian-based pseudo-atomic framework that simultaneously resolves compositional and conformational heterogeneity from cryo-EM images. GaussianEM employs a dual-encoder-single-decoder architecture to decompose images into learnable Gaussian components, with variability encoded through modulated parameters. This explicit parameterization yields a continuous, intuitive representation of conformational dynamics that inherently preserves local structural integrity. By modeling displacements in Gaussian space, we capture atomic-scale conformational landscapes, bridging density maps and all-atom models. In comprehensive experiments, GaussianEM successfully reconstructs complex compositional and conformational variability,and resolves previously unobserved details in public datasets. Quantitative evaluations further confirm its ability to capture broader conformational diversity without sacrificing structural fidelity.

cs.CV↗
arXiv2026

R-Matrix Theory for Electron-Ion Collisions in Plasmas

Electron-atom collisions in warm dense plasmas are crucial for astrophysics and controlled fusion research, where calculating short-range scattering matrices under screening plasma potentials is essential. While electron-neutral atom collisions are tractable using the standard Riccati-Bessel wavefunctions in the asymptotic region, electron-ion collisions face challenges due to the extended range of the screened Coulomb potential, which lacks analytical solutions or numerical code packages for asymptotic regular and irregular wavefunctions. We introduce an R-matrix theoretical framework for general screened potentials and develop a numerical method to compute these asymptotic wavefunctions efficiently. Our approach yields short-range scattering phase shifts that remain invariant with respect to the matching point in the asymptotic region. Applying the Debye screening potential as an illustrative example, we calculate elastic and electron-impact excitation collision strengths for H-like ions (He, C, Ne) across varying temperatures and densities. The calculations show that Debye screening systematically modifies resonance structures and progressively lowers excitation thresholds. Nevertheless, the effective collision strengths and rate coefficients exhibit approximate scaling laws. These findings enable convenient access to electron collision data in plasma environments, advancing plasma diagnostics and modeling.

physics.atom-ph↗
arXiv2026

Nijenhuis operators on 2D pre-Lie algebras and 3D associative algebras

In this paper, we describe all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. As an application, using these operators, we obtain solutions of the classical Yang-Baxter equation on the corresponding sub-adjacent Lie algebras.

math-ph↗
arXiv2026

Skewness-dependent moments of the pion GPD from nonlocal quark-bilinear correlators

We present lattice QCD calculations of the odd Mellin moments of pion valence-quark generalized parton distribution (GPD) up to fifth order, $\langle x^4\rangle$, and for the skewness range $[-0.33, 0]$ using operator product expansion of bilocal quark-bilinear operators. The calculations are performed on an ensemble with lattice spacing $a=0.04~\mathrm{fm}$ and valence pion mass $300$ $\mathrm{MeV}$, employing boosted pion states with momenta up to 2.428 GeV and momentum transfers reaching 2.748 GeV$^2$. We employ ratio-scheme renormalization and next-to-leading-logarithmic resummed perturbative matching. At zero skewness, our results are consistent with previous lattice studies. By combining matrix elements at multiple values of skewness and momentum transfer, skewness-dependent moments are obtained through simultaneous polynomiality-constrained fits.

hep-lat↗
arXiv2026

FutureX-Pro: Extending Future Prediction to High-Value Vertical Domains

Building upon FutureX, which established a live benchmark for general-purpose future prediction, this report introduces FutureX-Pro, including FutureX-Finance, FutureX-Retail, FutureX-PublicHealth, FutureX-NaturalDisaster, and FutureX-Search. These together form a specialized framework extending agentic future prediction to high-value vertical domains. While generalist agents demonstrate proficiency in open-domain search, their reliability in capital-intensive and safety-critical sectors remains under-explored. FutureX-Pro targets four economically and socially pivotal verticals: Finance, Retail, Public Health, and Natural Disaster. We benchmark agentic Large Language Models (LLMs) on entry-level yet foundational prediction tasks -- ranging from forecasting market indicators and supply chain demands to tracking epidemic trends and natural disasters. By adapting the contamination-free, live-evaluation pipeline of FutureX, we assess whether current State-of-the-Art (SOTA) agentic LLMs possess the domain grounding necessary for industrial deployment. Our findings reveal the performance gap between generalist reasoning and the precision required for high-value vertical applications.

cs.AI↗
arXiv2026

Inverse Rendering for High-Genus 3D Surface Meshes from Multi-view Images with Persistent Homology Priors

Reconstructing 3D objects from images is inherently an ill-posed problem due to ambiguities in geometry, appearance, and topology. This paper introduces collaborative inverse rendering with persistent homology priors, a novel strategy that leverages topological constraints to resolve these ambiguities. By incorporating priors that capture critical features such as tunnel loops and handle loops, our approach directly addresses the difficulty of reconstructing high-genus surfaces. The collaboration between photometric consistency from multi-view images and homology-based guidance enables recovery of complex high-genus geometry while circumventing catastrophic failures such as collapsing tunnels or losing high-genus structure. Instead of neural networks, our method relies on gradient-based optimization within a mesh-based inverse rendering framework to highlight the role of topological priors. Experimental results show that incorporating persistent homology priors leads to lower Chamfer Distance (CD) and higher Volume IoU compared to state-of-the-art mesh-based methods, demonstrating improved geometric accuracy and robustness against topological failure.

cs.CV↗
arXiv2026

Learning Domain Agnostic Latent Embeddings of 3D Faces for Zero-shot Animal Expression Transfer

We present a zero-shot framework for transferring human facial expressions to 3D animal face meshes. Our method combines intrinsic geometric descriptors (HKS/WKS) with a mesh-agnostic latent embedding that disentangles facial identity and expression. The ID latent space captures species-independent facial structure, while the expression latent space encodes deformation patterns that generalize across humans and animals. Trained only with human expression pairs, the model learns the embeddings, decoupling, and recoupling of cross-identity expressions, enabling expression transfer without requiring animal expression data. To enforce geometric consistency, we employ Jacobian loss together with vertex-position and Laplacian losses. Experiments show that our approach achieves plausible cross-species expression transfer, effectively narrowing the geometric gap between human and animal facial shapes.

cs.CV↗