arXiv subjects

Li Yang

Publications and source records attributed to Li Yang.

At least 73 records · Page 4Linked to original sources

arXiv2025

Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization

Smart contracts automate the management of high-value assets, where vulnerabilities can lead to catastrophic financial losses. This challenge is amplified in Large Language Models (LLMs) by two interconnected failures: they operate as unauditable "black boxes" lacking a transparent reasoning process, and consequently, generate code riddled with critical security vulnerabilities. To address both issues, we propose SmartCoder-R1 (based on Qwen2.5-Coder-7B), a novel framework for secure and explainable smart contract generation. It begins with Continual Pre-training (CPT) to specialize the model. We then apply Long Chain-of-Thought Supervised Fine-Tuning (L-CoT SFT) on 7,998 expert-validated reasoning-and-code samples to train the model to emulate human security analysis. Finally, to directly mitigate vulnerabilities, we employ Security-Aware Group Relative Policy Optimization (S-GRPO), a reinforcement learning phase that refines the generation policy by optimizing a weighted reward signal for compilation success, security compliance, and format correctness. Evaluated against 17 baselines on a benchmark of 756 real-world functions, SmartCoder-R1 establishes a new state of the art, achieving top performance across five key metrics: a ComPass of 87.70%, a VulRate of 8.60%, a SafeAval of 80.16%, a FuncRate of 53.84%, and a FullRate of 50.53%. This FullRate marks a 45.79% relative improvement over the strongest baseline, DeepSeek-R1. Crucially, its generated reasoning also excels in human evaluations, achieving high-quality ratings for Functionality (82.7%), Security (85.3%), and Clarity (90.7%).

cs.CR↗

arXiv2025

Adaptive Collaborative Correlation Learning-based Semi-Supervised Multi-Label Feature Selection

Semi-supervised multi-label feature selection has recently been developed to solve the curse of dimensionality problem in high-dimensional multi-label data with certain samples missing labels. Although many efforts have been made, most existing methods use a predefined graph approach to capture the sample similarity or the label correlation. In this manner, the presence of noise and outliers within the original feature space can undermine the reliability of the resulting sample similarity graph. It also fails to precisely depict the label correlation due to the existence of unknown labels. Besides, these methods only consider the discriminative power of selected features, while neglecting their redundancy. In this paper, we propose an Adaptive Collaborative Correlation lEarning-based Semi-Supervised Multi-label Feature Selection (Access-MFS) method to address these issues. Specifically, a generalized regression model equipped with an extended uncorrelated constraint is introduced to select discriminative yet irrelevant features and maintain consistency between predicted and ground-truth labels in labeled data, simultaneously. Then, the instance correlation and label correlation are integrated into the proposed regression model to adaptively learn both the sample similarity graph and the label similarity graph, which mutually enhance feature selection performance. Extensive experimental results demonstrate the superiority of the proposed Access-MFS over other state-of-the-art methods.

cs.LG↗

arXiv2025

CaRDiff: Video Salient Object Ranking Chain of Thought Reasoning for Saliency Prediction with Diffusion

Video saliency prediction aims to identify the regions in a video that attract human attention and gaze, driven by bottom-up features from the video and top-down processes like memory and cognition. Among these top-down influences, language plays a crucial role in guiding attention by shaping how visual information is interpreted. Existing methods primarily focus on modeling perceptual information while neglecting the reasoning process facilitated by language, where ranking cues are crucial outcomes of this process and practical guidance for saliency prediction. In this paper, we propose CaRDiff (Caption, Rank, and generate with Diffusion), a framework that imitates the process by integrating a multimodal large language model (MLLM), a grounding module, and a diffusion model, to enhance video saliency prediction. Specifically, we introduce a novel prompting method VSOR-CoT (Video Salient Object Ranking Chain of Thought), which utilizes an MLLM with a grounding module to caption video content and infer salient objects along with their rankings and positions. This process derives ranking maps that can be sufficiently leveraged by the diffusion model to decode the saliency maps for the given video accurately. Extensive experiments show the effectiveness of VSOR-CoT in improving the performance of video saliency prediction. The proposed CaRDiff performs better than state-of-the-art models on the MVS dataset and demonstrates cross-dataset capabilities on the DHF1k dataset through zero-shot evaluation.

cs.CV↗

arXiv2025

Interpretable structural-semantic decoding reveals language-like organisation of regulatory information in DNA

Decoding how linear DNA encodes regulatory information remains a central challenge. Existing decoding approaches lack interpretability and struggle to reveal the underlying coding principles. Here, we present the interpretability-first, structural artificial intelligence (AI) framework for DNA (ISAF4DNA), which uses state-aware symbolic encoding and couples structural unit discovery with semantic validation to form a closed-loop structural-semantic decoder. When applied to N6-methyladenine (6mA) datasets from 63 species, ISAF4DNA reveals a language-like organization of regulatory information: (i) a conserved motif-derivation pathway AT -> GAT/ATC -> GATC; (ii) two forms of redundant syntax: anchor-type structures with a conserved core and selective flanks, and fuzzy-type clusters composed of distributed units with positional tolerance; and (iii) differential deployment trends between prokaryotes and multicellular eukaryotes. Together, these observations motivate the development of a testable framework, EpigenoLinguistics, that treats motifs as lexical units, redundancy as syntax, and deployment as pragmatics. This framework advances the ``DNA as language'' concept from a metaphor to a falsifiable framework with supporting evidence, thereby bridging biology and computational linguistics. ISAF4DNA advances the application of AI techniques in biology from black-box predictions to mechanism-level signals, augments database annotations, and guides regulatory-element design, with principles extensible to other modifications.

q-bio.OT↗

arXiv2025

New Insights into Global Warming: End-to-End Visual Analysis and Prediction of Temperature Variations

Global warming presents an unprecedented challenge to our planet however comprehensive understanding remains hindered by geographical biases temporal limitations and lack of standardization in existing research. An end to end visual analysis of global warming using three distinct temperature datasets is presented. A baseline adjusted from the Paris Agreements one point five degrees Celsius benchmark based on data analysis is employed. A closed loop design from visualization to prediction and clustering is created using classic models tailored to the characteristics of the data. This approach reduces complexity and eliminates the need for advanced feature engineering. A lightweight convolutional neural network and long short term memory model specifically designed for global temperature change is proposed achieving exceptional accuracy in long term forecasting with a mean squared error of three times ten to the power of negative six and an R squared value of zero point nine nine nine nine. Dynamic time warping and KMeans clustering elucidate national level temperature anomalies and carbon emission patterns. This comprehensive method reveals intricate spatiotemporal characteristics of global temperature variations and provides warming trend attribution. The findings offer new insights into climate change dynamics demonstrating that simplicity and precision can coexist in environmental analysis.

physics.ao-ph↗

arXiv2025

Bichromatic Moiré Superlattices for Tunable Quadrupolar Trions and Correlated States

Moiré superlattices in transition metal dichalcogenide heterostructures provide a platform to engineer many-body interactions. Here, we realize a bichromatic moiré superlattice in an asymmetric WSe$_2$/WS$_2$/WSe$_2$ heterotrilayer by combining R- and H-stacked bilayers with mismatched moiré wavelengths. This structure hosts fermionic quadrupolar moiré trions -- interlayer excitons bound to an opposite-layer hole -- with vanishing dipole moments. These trions arise from hybridized moiré potentials enabling multiple excitonic orbitals with tunable interlayer coupling, allowing control of excitonic and electronic ground states. We show that an out-of-plane electric field could effectively reshape moiré excitons and interlayer-intralayer electron correlations, driving a transition from interlayer to intralayer Mott states with enhanced Coulomb repulsion. The asymmetric stacking further enriches excitonic selection rules, broadening opportunities for spin-photon engineering. Our results demonstrate bichromatic moiré superlattices as a reconfigurable platform for emergent quantum states, where quadrupolar moiré trion emission may enable coherent and entangled quantum light manipulation.

cond-mat.mes-hall↗

arXiv2025

Valley-Selective Linear Dichroism and Excitonic Effects in Lieb-Lattice Altermagnets

Altermagnets have recently been recognized as a distinct class of magnetic materials characterized by alternative spin-split electronic structures without net magnetization. Despite intensive studies on their single-particle spintronic and valleytronic properties, many-electron interactions and optical responses of altermagnets remain less explored. In this work, we employ many-body perturbation theory to investigate excited states and their strain tunability. Using monolayer Mn2WS4 as a representative candidate, we uncover a novel spin valley-dependent excitonic selection rule in two-dimensional altermagnetic Lieb lattices. In addition to strongly bound excitons, we find that linearly polarized light selectively excites valley spin-polarized excitons. Moreover, due to the interplay between altermagnetic spin symmetry and electronic orbital character, we predict that applying uniaxial strain can lift valley degeneracy and enable the selective excitation of spin-polarized excitons, an effect not achievable in previously studied transition-metal dichalcogenides. These spin-valley-locked excitonic states and their strain tunability offer a robust mechanism for four-fold symmetric altermagnets to encode, store, and read valley/spin information.

cond-mat.mtrl-sci↗

arXiv2025

Axial Hall Effect in Altermagnetic Lieb Lattices

We predict a so-called axial Hall effect, a Berry-curvature-driven anomalous Hall response, in Lieb-lattice altermagnets. By constructing a tight-binding model, we identify the axial direction as a hidden topological degree of freedom. Breaking the double degeneracy of axial symmetry generates substantial Berry curvature and induces a pronounced anomalous Hall conductivity. First-principles calculations further confirm the emergence of this effect in strained altermagnets, particularly in ternary transition-metal dichalcogenides. We take Mn2WS4 as an example to reveal that the axial Hall effect originates from the interplay between Dresselhaus spin-orbit coupling and the intrinsic piezomagnetic response of Lieb-lattice altermagnets, leading to highly localized and enhanced Berry curvature. Remarkably, the magnitude of the axial Hall effect is significant and remains unchanged when varying the strain, highlighting the topological nature of the axial degree of freedom. Finally, in multilayer systems, the effect manifests as a distinctive thickness-dependent modulation of both anomalous and spin Hall responses. These findings emphasize the critical role of spin-orbit coupling and noncollinear spin textures in altermagnets, an area that has received limited attention, and open new pathways for exploring intrinsic Hall phenomena in topological magnetic systems.

cond-mat.mes-hall↗

arXiv2025

A DNA-Centric Mechanism for Protein Targeting in 6mA Methylation

How DNA-binding proteins locate specific genomic targets remains a central challenge in molecular biology. Traditional protein-centric approaches, which rely on wet-lab experiments and visualization techniques, often lack genome-wide resolution and fail to capture physiological dynamics in living cells. Here, we introduce a DNA-centric strategy that leverages in vivo N6-methyladenine (6mA) data to decode the logic of protein-DNA recognition. By integrating linguistically inspired modeling with machine learning, we reveal two distinct search modes: a protein-driven diffusion mechanism and a DNA sequence-driven mechanism, wherein specific motifs function as protein traps. We further reconstruct high-resolution interaction landscapes at the level of individual sequences and trace the evolutionary trajectories of recognition motifs across species. This framework addresses fundamental limitations of protein-centered approaches and positions DNA itself as an intrinsic reporter of protein-binding behavior.

q-bio.QM↗

arXiv2025

An Efficient Intrusion Detection System for Safeguarding Radiation Detection Systems

Radiation Detection Systems (RDSs) are used to measure and detect abnormal levels of radioactive material in the environment. These systems are used in many applications to mitigate threats posed by high levels of radioactive material. However, these systems lack protection against malicious external attacks to modify the data. The novelty of applying Intrusion Detection Systems (IDS) in RDSs is a crucial element in safeguarding these critical infrastructures. While IDSs are widely used in networking environments to safeguard against various attacks, their application in RDSs is novel. A common attack on RDSs is Denial of Service (DoS), where the attacker aims to overwhelm the system, causing malfunctioning RDSs. This paper proposes an efficient Machine Learning (ML)-based IDS to detect anomalies in radiation data, focusing on DoS attacks. This work explores the use of sampling methods to create a simulated DoS attack based on a real radiation dataset, followed by an evaluation of various ML algorithms, including Random Forest, Support Vector Machine (SVM), logistic regression, and Light Gradient-Boosting Machine (LightGBM), to detect DoS attacks on RDSs. LightGBM is emphasized for its superior accuracy and low computational resource consumption, making it particularly suitable for real-time intrusion detection. Additionally, model optimization and TinyML techniques, including feature selection, parallel execution, and random search methods, are used to improve the efficiency of the proposed IDS. Finally, an optimized and efficient LightGBM-based IDS is developed to achieve accurate intrusion detection for RDSs.

cs.CR↗

arXiv2025

Securing Radiation Detection Systems with an Efficient TinyML-Based IDS for Edge Devices

Radiation Detection Systems (RDSs) play a vital role in ensuring public safety across various settings, from nuclear facilities to medical environments. However, these systems are increasingly vulnerable to cyber-attacks such as data injection, man-in-the-middle (MITM) attacks, ICMP floods, botnet attacks, privilege escalation, and distributed denial-of-service (DDoS) attacks. Such threats could compromise the integrity and reliability of radiation measurements, posing significant public health and safety risks. This paper presents a new synthetic radiation dataset and an Intrusion Detection System (IDS) tailored for resource-constrained environments, bringing Machine Learning (ML) predictive capabilities closer to the sensing edge layer of critical infrastructure. Leveraging TinyML techniques, the proposed IDS employs an optimized XGBoost model enhanced with pruning, quantization, feature selection, and sampling. These TinyML techniques significantly reduce the size of the model and computational demands, enabling real-time intrusion detection on low-resource devices while maintaining a reasonable balance between efficiency and accuracy.

cs.CR↗

arXiv2025

WebGeoInfer: A Structure-Free and Multi-Stage Framework for Geolocation Inference of Devices Exposing Information

Remote management devices facilitate critical infrastructure monitoring for administrators but simultaneously increase asset exposure. Sensitive geographical information overlooked in exposed device management pages poses substantial security risks. Therefore, identifying devices that reveal location information due to administrator negligence is crucial for cybersecurity regulation. Despite the rich information exposed by web interfaces of remote management devices, automatically discovering geographical locations remains challenging due to unstructured formats, varying styles, and incomplete geographical details. This study introduces WebGeoInfer, a structure-free geolocation inference framework utilizing multi-stage information enhancement. WebGeoInfer clusters similar device web pages and analyzes inter-cluster differences to extract potential geographical information, bypassing structural limitations. Through search engine enhancement and Large Language Models mining, the framework extracts geographical coordinates from identified information. WebGeoInfer successfully inferred locations for 5,435 devices across 94 countries and 2,056 cities, achieving accuracy rates of 96.96\%, 88.05\%, and 79.70\% at country, city, and street levels, respectively.

cs.CR↗

arXiv2025

MirGuard: Towards a Robust Provenance-based Intrusion Detection System Against Graph Manipulation Attacks

Learning-based Provenance-based Intrusion Detection Systems (PIDSes) have become essential tools for anomaly detection in host systems due to their ability to capture rich contextual and structural information, as well as their potential to detect unknown attacks. However, recent studies have shown that these systems are vulnerable to graph manipulation attacks, where attackers manipulate the graph structure to evade detection. While some previous approaches have discussed this type of attack, none have fully addressed it with a robust detection solution, limiting the practical applicability of PIDSes. To address this challenge, we propose MirGuard, a robust anomaly detection framework that combines logic-aware multi-view augmentation with contrastive representation learning. Rather than applying arbitrary structural perturbations, MirGuard introduces Logic-Aware Noise Injection (LNI) to generate semantically valid graph views, ensuring that all augmentations preserve the underlying causal semantics of the provenance data. These views are then used in a Logic-Preserving Contrastive Learning framework, which encourages the model to learn representations that are invariant to benign transformations but sensitive to adversarial inconsistencies. Comprehensive evaluations on multiple provenance datasets demonstrate that MirGuard significantly outperforms state-of-the-art detectors in robustness against various graph manipulation attacks without sacrificing detection performance and efficiency. Our work represents the first targeted study to enhance PIDS against such adversarial threats, providing a robust and effective solution to modern cybersecurity challenges.

cs.CR↗

arXiv2025

Traffic Intersection Simulation Using Turning Movement Count Data in SUMO: A Case Study of Toronto Intersections

Urban traffic simulation is vital in planning, modeling, and analyzing road networks. However, the realism of a simulation depends extensively on the quality of input data. This paper presents an intersection traffic simulation tool that leverages real-world vehicle turning movement count (TMC) data from the City of Toronto to model traffic in an urban environment at an individual or multiple intersections using Simulation of Urban MObility (SUMO). The simulation performed in this research focuses specifically on intersection-level traffic generation without creating full vehicle routes through the network. This also helps keep the network's complexity to a minimum. The simulated traffic is evaluated against actual data to show that the simulation closely reproduces real intersection flows. This validates that the real data can drive practical simulations, and these scenarios can replace synthetic or random generated data, which is prominently used in developing new traffic-related methodologies. This is the first tool to integrate TMC data from Toronto into SUMO via an easy-to-use Graphical User Interface. This work contributes to the research and traffic planning community on data-driven traffic simulation. It provides transportation engineers with a framework to evaluate intersection design and traffic signal optimization strategies using readily available aggregate traffic data.

cs.CY↗

arXiv2025

Enhancing Small-Scale Dataset Expansion with Triplet-Connection-based Sample Re-Weighting

The performance of computer vision models in certain real-world applications, such as medical diagnosis, is often limited by the scarcity of available images. Expanding datasets using pre-trained generative models is an effective solution. However, due to the uncontrollable generation process and the ambiguity of natural language, noisy images may be generated. Re-weighting is an effective way to address this issue by assigning low weights to such noisy images. We first theoretically analyze three types of supervision for the generated images. Based on the theoretical analysis, we develop TriReWeight, a triplet-connection-based sample re-weighting method to enhance generative data augmentation. Theoretically, TriReWeight can be integrated with any generative data augmentation methods and never downgrade their performance. Moreover, its generalization approaches the optimal in the order $O(\sqrt{d\ln (n)/n})$. Our experiments validate the correctness of the theoretical analysis and demonstrate that our method outperforms the existing SOTA methods by $7.9\%$ on average over six natural image datasets and by $3.4\%$ on average over three medical datasets. We also experimentally validate that our method can enhance the performance of different generative data augmentation methods.

cs.CV↗

arXiv2025

SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection

With the increasing security issues in blockchain, smart contract vulnerability detection has become a research focus. Existing vulnerability detection methods have their limitations: 1) Static analysis methods struggle with complex scenarios. 2) Methods based on specialized pre-trained models perform well on specific datasets but have limited generalization capabilities. In contrast, general-purpose Large Language Models (LLMs) demonstrate impressive ability in adapting to new vulnerability patterns. However, they often underperform on specific vulnerability types compared to methods based on specialized pre-trained models. We also observe that explanations generated by general-purpose LLMs can provide fine-grained code understanding information, contributing to improved detection performance. Inspired by these observations, we propose SAEL, an LLM-based framework for smart contract vulnerability detection. We first design targeted prompts to guide LLMs in identifying vulnerabilities and generating explanations, which serve as prediction features. Next, we apply prompt-tuning on CodeT5 and T5 to process contract code and explanations, enhancing task-specific performance. To combine the strengths of each approach, we introduce an Adaptive Mixture-of-Experts architecture. This dynamically adjusts feature weights via a Gating Network, which selects relevant features using TopK filtering and Softmax normalization, and incorporates a Multi-Head Self-Attention mechanism to enhance cross-feature relationships. This design enables effective integration of LLM predictions, explanation features, and code features through gradient optimization. The loss function jointly considers both independent feature performance and overall weighted predictions. Experiments show that SAEL outperforms existing methods across various vulnerabilities.

cs.CR↗

arXiv2025

Interactive Hybrid Rice Breeding with Parametric Dual Projection

Hybrid rice breeding crossbreeds different rice lines and cultivates the resulting hybrids in fields to select those with desirable agronomic traits, such as higher yields. Recently, genomic selection has emerged as an efficient way for hybrid rice breeding. It predicts the traits of hybrids based on their genes, which helps exclude many undesired hybrids, largely reducing the workload of field cultivation. However, due to the limited accuracy of genomic prediction models, breeders still need to combine their experience with the models to identify regulatory genes that control traits and select hybrids, which remains a time-consuming process. To ease this process, in this paper, we proposed a visual analysis method to facilitate interactive hybrid rice breeding. Regulatory gene identification and hybrid selection naturally ensemble a dual-analysis task. Therefore, we developed a parametric dual projection method with theoretical guarantees to facilitate interactive dual analysis. Based on this dual projection method, we further developed a gene visualization and a hybrid visualization to verify the identified regulatory genes and hybrids. The effectiveness of our method is demonstrated through the quantitative evaluation of the parametric dual projection method, identified regulatory genes and desired hybrids in the case study, and positive feedback from breeders.

cs.HC↗

arXiv2025

Quasiparticle energies and excitonic effects of α-RuCl3

α-phase Ruthenium (III) chloride (α-RuCl3) has attracted significant attention because of its potential for realizing Kitaev quantum spin liquid. In this work, we employ first-principles many-body perturbation theory to study its many-electron interactions and excited-state properties. We find enhanced many-electron interactions that dominate quasiparticle energies and optical responses in α-RuCl3. Our calculated quasiparticle band gap of bulk structure is about 1.75 eV that agrees well with recent scanning tunneling spectroscopy and angle-resolved photoemission spectroscopy measurements. Furthermore, our calculated first and second primary bright excitons are located at 1.23 eV and 1.98 eV, respectively. These excitons show good consistency with the main features observed in the optical absorption spectrum. We extend our investigation to monolayer α-RuCl3, examining the zigzag antiferromagnetic (AFM) and ferromagnetic (FM) phases. In addition to significant excitonic effects, the optical spectrum of the zigzag AFM phase exhibits anisotropic behavior, while the FM phase demonstrates isotropic characteristics. The different optical response behaviors provide an efficient approach to identify the energy nearly degenerate magnetic states, which can both potentially exist in fabricated samples.

cond-mat.mtrl-sci↗