arXiv subjects

Ziyang Li

Publications and source records attributed to Ziyang Li.

At least 55 records · Page 3Linked to original sources

arXiv2025

Rescattering effects on spin-interference for $ρ^{0}$ photoproduction in heavy-ion collisions

Recent measurements by various experiments in ultra-peripheral collisions have observed spin-interference in $ρ^{0}$ photoproduction, marking a breakthrough in Fermi-scale quantum interference experiments. Building on this, STAR extended the measurement to hadronic heavy-ion collisions, where significant rescattering effects on $ρ^{0}$ mesons were expected. In this study, we investigate how these rescattering effects influence the measurement of spin-interference. By embedding $ρ^{0}$ mesons produced via photoproduction, modeled by the Vector Meson Dominance model, into the Ultrarelativistic Quantum Molecular Dynamics framework, we estimate the impact on the $\cos2ϕ$ and $\cos4ϕ$ modulations, where $ϕ$ is the angle between $ρ^{0}$ and one of the daughters' ($π^{\pm}$) transverse momentum. The results indicate a significant suppression of the $\cos2ϕ$ modulation, while the $\cos4ϕ$ modulation remains largely unaffected, which provides insight for understanding the difference due to rescattering effects between experimental measurements and theoretical predictions for $ρ^{0}$ photoproduction in heavy-ion collisions.

nucl-th↗

arXiv2025

Energy dependence of rescattering effect on vector mesons spin alignment at RHIC

Spin alignment of vector mesons in heavy-ion collisions provides a novel probe of quark polarization and hadronization mechanism in quark-gluon plasma. Hadronic rescattering may affect the measured spin alignment of vector mesons due to non-uniform rescattering probability in non-central heavy-ion collisions. Using the UrQMD model, we systematically investigated the hadronic rescattering effect on the measurement of $ρ_{00}$, the spin alignment parameter, for $K^{*0}$, $ϕ$, and $ρ^{0}$ mesons in Au+Au collisions at $\sqrt{s_\mathrm{NN}}$ = 7.7 - 200 GeV. Our results reveal that the measurable $ρ_{00} - 1/3$ remains unaffected for $ϕ$, while shows significantly negative (positive) deviations for $K^{*0}$ and $ρ^0$ with respect to the reaction (production) plane. Quantitatively, the maximum deviation reaches $-0.0056$ ($0.0268$) for $K^{*0}$ and $-0.0122$ ($0.0414$) for $ρ^{0}$ with respect to the reaction (production) plane. Notably, the deviations in $ρ_{00}$ for both $K^{*0}$ and $ρ^{0}$ increase monotonically with increasing collision energy. These findings underscore the critical necessity of accounting for rescattering effects when interpreting spin alignment measurements of short-lived vector mesons in heavy-ion collisions.

nucl-ex↗

arXiv2025

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS

Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with interpretable symbolic AI, enabling determinism. While promising, challenges like multisensor fusion, adaptability, and verification remain. This paper introduces NeuroStrata, a neurosymbolic framework to enhance the testing and verification of autonomous CPS. We outline its key components, present early results, and detail future plans.

cs.SE↗

arXiv2025

Enhancing Shape Perception and Segmentation Consistency for Industrial Image Inspection

Semantic segmentation stands as a pivotal research focus in computer vision. In the context of industrial image inspection, conventional semantic segmentation models fail to maintain the segmentation consistency of fixed components across varying contextual environments due to a lack of perception of object contours. Given the real-time constraints and limited computing capability of industrial image detection machines, it is also necessary to create efficient models to reduce computational complexity. In this work, a Shape-Aware Efficient Network (SPENet) is proposed, which focuses on the shapes of objects to achieve excellent segmentation consistency by separately supervising the extraction of boundary and body information from images. In SPENet, a novel method is introduced for describing fuzzy boundaries to better adapt to real-world scenarios named Variable Boundary Domain (VBD). Additionally, a new metric, Consistency Mean Square Error(CMSE), is proposed to measure segmentation consistency for fixed components. Our approach attains the best segmentation accuracy and competitive speed on our dataset, showcasing significant advantages in CMSE among numerous state-of-the-art real-time segmentation networks, achieving a reduction of over 50% compared to the previously top-performing models.

cs.CV↗

arXiv2025

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Software is prone to security vulnerabilities. Program analysis tools to detect them have limited effectiveness in practice due to their reliance on human labeled specifications. Large language models (or LLMs) have shown impressive code generation capabilities but they cannot do complex reasoning over code to detect such vulnerabilities especially since this task requires whole-repository analysis. We propose IRIS, a neuro-symbolic approach that systematically combines LLMs with static analysis to perform whole-repository reasoning for security vulnerability detection. Specifically, IRIS leverages LLMs to infer taint specifications and perform contextual analysis, alleviating needs for human specifications and inspection. For evaluation, we curate a new dataset, CWE-Bench-Java, comprising 120 manually validated security vulnerabilities in real-world Java projects. A state-of-the-art static analysis tool CodeQL detects only 27 of these vulnerabilities whereas IRIS with GPT-4 detects 55 (+28) and improves upon CodeQL's average false discovery rate by 5% points. Furthermore, IRIS identifies 4 previously unknown vulnerabilities which cannot be found by existing tools. IRIS is available publicly at https://github.com/iris-sast/iris.

cs.CR↗

arXiv2025

Challenges and Paths Towards AI for Software Engineering

AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its full potential. It should be possible to reach high levels of automation where humans can focus on the critical decisions of what to build and how to balance difficult tradeoffs while most routine development effort is automated away. Reaching this level of automation will require substantial research and engineering efforts across academia and industry. In this paper, we aim to discuss progress towards this in a threefold manner. First, we provide a structured taxonomy of concrete tasks in AI for software engineering, emphasizing the many other tasks in software engineering beyond code generation and completion. Second, we outline several key bottlenecks that limit current approaches. Finally, we provide an opinionated list of promising research directions toward making progress on these bottlenecks, hoping to inspire future research in this rapidly maturing field.

cs.SE↗

arXiv2025

ATOMS: ALMA Three-millimeter Observations of Massive Star-forming regions -XXI. A Large-sample Observational Study of Ethanol and Dimethyl Ether in Hot Cores

Hot cores, as a stage of massive star formation, exhibit abundant line emissions of COMs. We present a deep line survey of two isomers of C$_2$H$_6$O: ethanol (C$_2$H$_5$OH; EA), and dimethyl ether (CH$_3$OCH$_3$; DE) as well as their possible precursor CH$_3$OH towards 60 hot cores by using the ALMA 3 mm line observations. EA is detected in 40 hot cores and DE is detected in 59 hot cores. Of these, EA and DE are simultaneously detected in 39 hot cores. We calculate rotation temperatures and column densities of EA and DE by using the XCLASS software. The average rotation temperature of EA is higher than that of DE, whereas the average column density of EA is lower than that of DE. Combined with previous studies of hot cores and hot corinos, we find strong column density correlations among EA and DE ($ρ$ = 0.92), EA and CH$_3$OH ($ρ$ = 0.82), as well as DE and CH$_3$OH ($ρ$ = 0.80). The column density ratios of EA/DE versus the column densities of CH$_3$OH remain nearly constant with values within ~ 1 order of magnitude. These strong correlations and the stable ratios, suggest that EA, DE, and CH$_3$OH could be chemically linked, with CH$_3$OH potentially serving as a precursor for EA and DE. Compared with chemical models, the three different warm-up timescale models result in the systematic overproduction of EA and the systematic underproduction of DE. Therefore, our large sample observations can provide crucial constraints on chemical models.

astro-ph.GA↗

arXiv2025

FinArena: A Human-Agent Collaboration Framework for Financial Market Analysis and Forecasting

To improve stock trend predictions and support personalized investment decisions, this paper proposes FinArena, a novel Human-Agent collaboration framework. Inspired by the mixture of experts (MoE) approach, FinArena combines multimodal financial data analysis with user interaction. The human module features an interactive interface that captures individual risk preferences, allowing personalized investment strategies. The machine module utilizes a Large Language Model-based (LLM-based) multi-agent system to integrate diverse data sources, such as stock prices, news articles, and financial statements. To address hallucinations in LLMs, FinArena employs the adaptive Retrieval-Augmented Generative (RAG) method for processing unstructured news data. Finally, a universal expert agent makes investment decisions based on the features extracted from multimodal data and investors' individual risk preferences. Extensive experiments show that FinArena surpasses both traditional and state-of-the-art benchmarks in stock trend prediction and yields promising results in trading simulations across various risk profiles. These findings highlight FinArena's potential to enhance investment outcomes by aligning strategic insights with personalized risk considerations.

cs.CE↗

arXiv2025

The ALMA-ATOMS survey: Vibrationally excited HC$_3$N lines in hot cores

Interstellar molecules are excellent tools for studying the physical and chemical environments of massive star-forming regions. In particular, vibrationally excited HC$_3$N (HC$_3$N*) lines are the key tracers for probing hot cores environments. We present the Atacama Large Millimeter/submillimeter Array (ALMA) 3 mm observations of HC$_3$N* lines in 60 hot cores, aiming to investigate how physical conditions affect the excitation of HC$_3$N* transitions. We have used the XCLASS for line identification. Under the assumption of local thermodynamic equilibrium (LTE), we derived the rotation temperature and column density of HC$_3$N* transitions in hot cores. Additionally, we calculated the H$_2$ column density and number density, along with the abundance of HC$_3$N* relative to H$_2$, to enable a comparison of the physical properties of hot cores with different numbers of HC$_3$N* states. We have detected HC$_3$N* lines in 52 hot cores, in which 29 cores showing more than one vibrationally excited state. Hot cores with higher gas temperatures have more detections of these vibrationally excited lines. The excitation of HC$_3$N* requires dense environments, with its spatial distribution influenced by the presence of UC Hii regions. The observed column density of HC$_3$N* contributes to the number of HC$_3$N* states in hot core environments. After analyzing the various factors influencing HC$_3$N* excitation in hot cores, we conclude that the excitation of HC$_3$N* is mainly driven by mid-IR pumping, while collisional excitation is ineffective.

astro-ph.GA↗

arXiv2025

Advances in RNA secondary structure prediction and RNA modifications: Methods, data, and applications

Due to the hierarchical organization of RNA structures and their pivotal roles in fulfilling RNA functions, the formation of RNA secondary structure critically influences many biological processes and has thus been a crucial research topic. This review sets out to explore the computational prediction of RNA secondary structure and its connections to RNA modifications, which have emerged as an active domain in recent years. We first examine the progression of RNA secondary structure prediction methodology, focusing on a set of representative works categorized into thermodynamic, comparative, machine learning, and hybrid approaches. Next, we survey the advances in RNA modifications and computational methods for identifying RNA modifications, focusing on the prominent modification types. Subsequently, we highlight the interplay between RNA modifications and secondary structures, emphasizing how modifications such as m6A dynamically affect RNA folding and vice versa. In addition, we also review relevant data sources and provide a discussion of current challenges and opportunities in the field. Ultimately, we hope our review will be able to serve as a cornerstone to aid in the development of innovative methods for this emerging topic and foster therapeutic applications in the future.

q-bio.BM↗

arXiv2024

Relational Programming with Foundation Models

Foundation models have vast potential to enable diverse AI applications. The powerful yet incomplete nature of these models has spurred a wide range of mechanisms to augment them with capabilities such as in-context learning, information retrieval, and code interpreting. We propose Vieira, a declarative framework that unifies these mechanisms in a general solution for programming with foundation models. Vieira follows a probabilistic relational paradigm and treats foundation models as stateless functions with relational inputs and outputs. It supports neuro-symbolic applications by enabling the seamless combination of such models with logic programs, as well as complex, multi-modal applications by streamlining the composition of diverse sub-models. We implement Vieira by extending the Scallop compiler with a foreign interface that supports foundation models as plugins. We implement plugins for 12 foundation models including GPT, CLIP, and SAM. We evaluate Vieira on 9 challenging tasks that span language, vision, and structured and vector databases. Our evaluation shows that programs in Vieira are concise, can incorporate modern foundation models, and have comparable or better accuracy than competitive baselines.

cs.AI↗

arXiv2024

Data-Efficient Learning with Neural Programs

Many computational tasks can be naturally expressed as a composition of a DNN followed by a program written in a traditional programming language or an API call to an LLM. We call such composites "neural programs" and focus on the problem of learning the DNN parameters when the training data consist of end-to-end input-output labels for the composite. When the program is written in a differentiable logic programming language, techniques from neurosymbolic learning are applicable, but in general, the learning for neural programs requires estimating the gradients of black-box components. We present an algorithm for learning neural programs, called ISED, that only relies on input-output samples of black-box components. For evaluation, we introduce new benchmarks that involve calls to modern LLMs such as GPT-4 and also consider benchmarks from the neurosymbolic learning literature. Our evaluation shows that for the latter benchmarks, ISED has comparable performance to state-of-the-art neurosymbolic frameworks. For the former, we use adaptations of prior work on gradient approximations of black-box components as a baseline, and show that ISED achieves comparable accuracy but in a more data- and sample-efficient manner.

cs.LG↗

arXiv2024

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

While automated vulnerability detection techniques have made promising progress in detecting security vulnerabilities, their scalability and applicability remain challenging. The remarkable performance of Large Language Models (LLMs), such as GPT-4 and CodeLlama, on code-related tasks has prompted recent works to explore if LLMs can be used to detect vulnerabilities. In this paper, we perform a more comprehensive study by concurrently examining a higher number of datasets, languages and LLMs, and qualitatively evaluating performance across prompts and vulnerability classes while addressing the shortcomings of existing tools. Concretely, we evaluate the effectiveness of 16 pre-trained LLMs on 5,000 code samples from five diverse security datasets. These balanced datasets encompass both synthetic and real-world projects in Java and C/C++ and cover 25 distinct vulnerability classes. Overall, LLMs across all scales and families show modest effectiveness in detecting vulnerabilities, obtaining an average accuracy of 62.8% and F1 score of 0.71 across datasets. They are significantly better at detecting vulnerabilities only requiring intra-procedural analysis, such as OS Command Injection and NULL Pointer Dereference. Moreover, they report higher accuracies on these vulnerabilities than popular static analysis tools, such as CodeQL. We find that advanced prompting strategies that involve step-by-step analysis significantly improve performance of LLMs on real-world datasets in terms of F1 score (by upto 0.18 on average). Interestingly, we observe that LLMs show promising abilities at performing parts of the analysis correctly, such as identifying vulnerability-related specifications and leveraging natural language information to understand code behavior (e.g., to check if code is sanitized). We expect our insights to guide future work on LLM-augmented vulnerability detection systems.

cs.CR↗

arXiv2024

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation

Designing faithful yet accurate AI models is challenging, particularly in the field of individual treatment effect estimation (ITE). ITE prediction models deployed in critical settings such as healthcare should ideally be (i) accurate, and (ii) provide faithful explanations. However, current solutions are inadequate: state-of-the-art black-box models do not supply explanations, post-hoc explainers for black-box models lack faithfulness guarantees, and self-interpretable models greatly compromise accuracy. To address these issues, we propose DISCRET, a self-interpretable ITE framework that synthesizes faithful, rule-based explanations for each sample. A key insight behind DISCRET is that explanations can serve dually as database queries to identify similar subgroups of samples. We provide a novel RL algorithm to efficiently synthesize these explanations from a large search space. We evaluate DISCRET on diverse tasks involving tabular, image, and text data. DISCRET outperforms the best self-interpretable models and has accuracy comparable to the best black-box models while providing faithful explanations. DISCRET is available at https://github.com/wuyinjun-1993/DISCRET-ICML2024.

cs.LG↗

arXiv2023

Correlations of Baryon and Charge Stopping in Heavy Ion Collisions

Baryon numbers are carried by valence quarks in the standard QCD picture of the baryon structure, while some theory proposed an alternative baryon number carrier, a non-perturbative Y-shaped configuration of the gluon field, called the baryon junction in the 1970s. However, neither of the theories has been verified experimentally. It was recently suggested to search for the baryon junction by investigating the correlation of net-charge and net-baryon yields at midrapidity in heavy-ion collisions. This paper presents studies of such correlations in collisions of various heavy ions from Oxygen to Uranium with the UrQMD Monte Carlo model. The UrQMD model implements valence quark transport as the primary means of charge and baryon stopping at midrapidity. Detailed study are also carried out for isobaric $_{40}^{96}\mathrm{Zr}$ + $_{40}^{96}\mathrm{Zr}$ and $_{44}^{96}\mathrm{Ru}$ + $_{44}^{96}\mathrm{Ru}$ collisions. We found a universal trend of the charge stopping with respect to the baryon stopping, and that the charge stopping is always more than the baryon stopping. This study provides a model baseline in valence quark transport for what is expected in net-charge and net-baryon yields at midrapidity of relativistic heavy-ion collisions.

nucl-th↗

arXiv2023

The ALMA-QUARKS survey: -- I. Survey description and data reduction

This paper presents an overview of the QUARKS survey, which stands for `Querying Underlying mechanisms of massive star formation with ALMA-Resolved gas Kinematics and Structures'. The QUARKS survey is observing 139 massive clumps covered by 156 pointings at ALMA Band 6 ($λ\sim$ 1.3 mm). In conjunction with data obtained from the ALMA-ATOMS survey at Band 3 ($λ\sim$ 3 mm), QUARKS aims to carry out an unbiased statistical investigation of massive star formation process within protoclusters down to a scale of 1000 au. This overview paper describes the observations and data reduction of the QUARKS survey, and gives a first look at an exemplar source, the mini-starburst Sgr B2(M). The wide-bandwidth (7.5 GHz) and high-angular-resolution (~0.3 arcsec) observations of the QUARKS survey allow to resolve much more compact cores than could be done by the ATOMS survey, and to detect previously unrevealed fainter filamentary structures. The spectral windows cover transitions of species including CO, SO, N$_2$D$^+$, SiO, H$_{30}α$, H$_2$CO, CH$_3$CN and many other complex organic molecules, tracing gas components with different temperatures and spatial extents. QUARKS aims to deepen our understanding of several scientific topics of massive star formation, such as the mass transport within protoclusters by (hub-)filamentary structures, the existence of massive starless cores, the physical and chemical properties of dense cores within protoclusters, and the feedback from already formed high-mass young protostars.

astro-ph.GA↗

arXiv2023

Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions

Deformable image registration plays a critical role in various tasks of medical image analysis. A successful registration algorithm, either derived from conventional energy optimization or deep networks requires tremendous efforts from computer experts to well design registration energy or to carefully tune network architectures for the specific type of medical data. To tackle the aforementioned problems, this paper proposes an automated learning registration algorithm (AutoReg) that cooperatively optimizes both architectures and their corresponding training objectives, enabling non-computer experts, e.g., medical/clinical users, to conveniently find off-the-shelf registration algorithms for diverse scenarios. Specifically, we establish a triple-level framework to deduce registration network architectures and objectives with an auto-searching mechanism and cooperating optimization. We conduct image registration experiments on multi-site volume datasets and various registration tasks. Extensive results demonstrate that our AutoReg may automatically learn an optimal deep registration network for given volumes and achieve state-of-the-art performance, also significantly improving computation efficiency than the mainstream UNet architectures (from 0.558 to 0.270 seconds for a 3D image pair on the same configuration).

cs.CV↗

arXiv2023

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

Pre-trained large language models (LMs) struggle to perform logical reasoning reliably despite advances in scale and compositionality. In this work, we tackle this challenge through the lens of symbolic programming. We propose DSR-LM, a Differentiable Symbolic Reasoning framework where pre-trained LMs govern the perception of factual knowledge, and a symbolic module performs deductive reasoning. In contrast to works that rely on hand-crafted logic rules, our differentiable symbolic reasoning framework efficiently learns weighted rules and applies semantic loss to further improve LMs. DSR-LM is scalable, interpretable, and allows easy integration of prior knowledge, thereby supporting extensive symbolic programming to robustly derive a logical conclusion. The results of our experiments suggest that DSR-LM improves the logical reasoning abilities of pre-trained language models, resulting in a significant increase in accuracy of over 20% on deductive reasoning benchmarks. Furthermore, DSR-LM outperforms a variety of competitive baselines when faced with systematic changes in sequence length.

cs.AI↗