arXiv subjects

Zhihao Liu

Publications and source records attributed to Zhihao Liu.

At least 55 records · Page 3Linked to original sources

arXiv2025

Solsmith: Solidity Random Program Generator for Compiler Testing

Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not address the core issue of generating test programs. To fill this gap, this paper designs and implements Solsmith, a test program generator specifically aimed at uncovering defects in Solidity compilers. It tests the compiler correctness by generating valid and diverse Solidity programs. We have designed a series of unique program generation strategies tailored to Solidity, including enabling optimizations more frequently, avoiding undefined behaviour, and mitigating behavioural differences caused by intermediate representations. To validate the effectiveness of Solsmith, we assess the effectiveness of the test programs generated by Solsmith using the approach of differential testing. The preliminary results show that Solsmith can generate the expected test programs and uncover four confirmed defects in Solidity compilers, demonstrating the effectiveness and potential of Solsmith.

cs.SE↗

arXiv2025

Autoregressive Meta-Actions for Unified Controllable Trajectory Generation

Controllable trajectory generation guided by high-level semantic decisions, termed meta-actions, is crucial for autonomous driving systems. A significant limitation of existing frameworks is their reliance on invariant meta-actions assigned over fixed future time intervals, causing temporal misalignment with the actual behavior trajectories. This misalignment leads to irrelevant associations between the prescribed meta-actions and the resulting trajectories, disrupting task coherence and limiting model performance. To address this challenge, we introduce Autoregressive Meta-Actions, an approach integrated into autoregressive trajectory generation frameworks that provides a unified and precise definition for meta-action-conditioned trajectory prediction. Specifically, We decompose traditional long-interval meta-actions into frame-level meta-actions, enabling a sequential interplay between autoregressive meta-action prediction and meta-action-conditioned trajectory generation. This decomposition ensures strict alignment between each trajectory segment and its corresponding meta-action, achieving a consistent and unified task formulation across the entire trajectory span and significantly reducing complexity. Moreover, we propose a staged pre-training process to decouple the learning of basic motion dynamics from the integration of high-level decision control, which offers flexibility, stability, and modularity. Experimental results validate our framework's effectiveness, demonstrating improved trajectory adaptivity and responsiveness to dynamic decision-making scenarios. We provide the video document and dataset, which are available at https://arma-traj.github.io/.

cs.RO↗

arXiv2025

A Framework for Understanding Colossal Magnetoresistance and Complex Resistivity Behaviors in Magnetic Semiconductor

Colossal magnetoresistance (CMR) is commonly observed in magnetic semiconductors when an external magnetic field is applied, usually accompanied by anomalous resistivity peaks or humps which were previously considered as evidence of a metal-insulator transition (MIT). Previous research efforts primarily focused on elucidating the CMR effect in ferromagnetic semiconductor systems, which may be inapplicable to antiferromagnetic or ferrimagnetic systems. In our work, we propose a framework to unravel the mechanisms underlying the CMR related phenomenon in magnetic semiconductor, and apply it to the ferrimagnetic semiconductor Mn$_3$Si$_2$Te$_6$. A two-carrier model, with electron and hole carriers generated by thermal excitation across the magnetization-dependent band gap, is employed, which accurately reproduces the observed $ρ(B, T)$ curves. Additionally, the shift of $T_c$ (or the anomalous resistivity peak) with increasing direct currents, previously attributed to current control of the chiral orbital current (COC) state, is also reproduced within our framework by properly accounting for the Joule heating effects. Our work provides a quantitative methodology for analyzing and calculating the novel resistivity curves in magnetic semiconductors and clarifies the controversy surrounding the origins of CMR and the concomitant complex behaviors.

cond-mat.mtrl-sci↗

arXiv2025

DRoPE: Directional Rotary Position Embedding for Efficient Agent Interaction Modeling

Accurate and efficient modeling of agent interactions is essential for trajectory generation, the core of autonomous driving systems. Existing methods, scene-centric, agent-centric, and query-centric frameworks, each present distinct advantages and drawbacks, creating an impossible triangle among accuracy, computational time, and memory efficiency. To break this limitation, we propose Directional Rotary Position Embedding (DRoPE), a novel adaptation of Rotary Position Embedding (RoPE), originally developed in natural language processing. Unlike traditional relative position embedding (RPE), which introduces significant space complexity, RoPE efficiently encodes relative positions without explicitly increasing complexity but faces inherent limitations in handling angular information due to periodicity. DRoPE overcomes this limitation by introducing a uniform identity scalar into RoPE's 2D rotary transformation, aligning rotation angles with realistic agent headings to naturally encode relative angular information. We theoretically analyze DRoPE's correctness and efficiency, demonstrating its capability to simultaneously optimize trajectory generation accuracy, time complexity, and space complexity. Empirical evaluations compared with various state-of-the-art trajectory generation models, confirm DRoPE's good performance and significantly reduced space complexity, indicating both theoretical soundness and practical effectiveness. The video documentation is available at https://drope-traj.github.io/.

cs.RO↗

arXiv2025

An Amplitude-Encoding-Based Classical-Quantum Transfer Learning framework: Outperforming Classical Methods in Image Recognition

The classical-quantum transfer learning (CQTL) method is introduced to address the challenge of training large-scale, high-resolution image data on a limited number of qubits (ranging from tens to hundreds) in the current Noisy Intermediate-Scale quantum (NISQ) era. existing CQTL frameworks have been demonstrate quantum advantages with a small number of parameters (around 50), but the performance of quantum neural networks is sensitive to the number of parameters. Currently, there is a lack of exploration into larger-scale quantum circuits with more parameters. This paper proposes an amplitude-encoding-based classical-quantum transfer learning (AE-CQTL) framework, accompanied by an effective learning algorithm. The AE-CQTL framework multiplies the parameters of quantum circuits by using multi-layer ansatz. Based on the AE-CQTL framework, we designed and implemented two CQTL neural network models: Transfer learning Quantum Neural Network (TLQNN) and Transfer Learning Quantum Convolutional Neural Network (TLQCNN). Both models significantly expand the parameter capacity of quantum circuits, elevating the parameter scale from a few dozen to over one hundred parameters. In cross-experiments with three benchmark datasets (MNIST, Fashion-MNIST and CIFAR10) and three source models (ResNet18, ResNet50 and DenseNet121), TLQNN and TLQCNN have exceeded the benchmark classical classifier in multiple performance metrics, including accuracy, convergence, stability, and generalization capability. Our work contributes to advancing the application of classical-quantum transfer learning on larger-scale quantum devices in future.

quant-ph↗

arXiv2025

Membership Inference Attacks Against Vision-Language Models

Vision-Language Models (VLMs), built on pre-trained vision encoders and large language models (LLMs), have shown exceptional multi-modal understanding and dialog capabilities, positioning them as catalysts for the next technological revolution. However, while most VLM research focuses on enhancing multi-modal interaction, the risks of data misuse and leakage have been largely unexplored. This prompts the need for a comprehensive investigation of such risks in VLMs. In this paper, we conduct the first analysis of misuse and leakage detection in VLMs through the lens of membership inference attack (MIA). In specific, we focus on the instruction tuning data of VLMs, which is more likely to contain sensitive or unauthorized information. To address the limitation of existing MIA methods, we introduce a novel approach that infers membership based on a set of samples and their sensitivity to temperature, a unique parameter in VLMs. Based on this, we propose four membership inference methods, each tailored to different levels of background knowledge, ultimately arriving at the most challenging scenario. Our comprehensive evaluations show that these methods can accurately determine membership status, e.g., achieving an AUC greater than 0.8 targeting a small set consisting of only 5 samples on LLaVA.

cs.CR↗

arXiv2024

Simultaneous achievement of record-breaking colossal magnetoresistance and angular magnetoresistance in an antiferromagnetic semiconductor EuSe2

Magnetoresistance effect lays the foundation for spintronics, magnetic sensors and hard drives. The pursuit of magnetic materials with colossal magnetoresistance (CMR) and/or angular magnetoresistance (AMR) has attracted enduring research interest and extensive investigations over past decades. Here we report on the discovery of field-induced record-breaking CMR of ~ -10^14 % and AMR ~ 10^14% achieved simultaneously in an antiferromagnetic rare-earth dichalcogenide EuSe2. Such intriguing observations are attributed to strong magnetic anisotropy and magnetic-field induced antiferromagnetic to ferromagnetic transition of the localized Eu2+ spins, which in turn closes the bandgap by lifting the degeneracy of Se-5p bands near Fermi level. Our DFT calculations perfectly replicate the experimental findings based on the Brillouin function and carries transport model. The present work provides a potential simple antiferromagnetic material for achieving angle-sensitive spintronic devices.

cond-mat.str-el↗

arXiv2024

Universal Scaling Behavior of Transport Properties in Non-Magnetic RuO$_{2}$

As a prototypical altermagnet, RuO$_{2}$ has been subject to many controversial reports regarding its magnetic ground state and the existence of crystal Hall effects. We obtained high-quality RuO$_{2}$ single crystal with a residual resistivity ratio (RRR = 152), and carefully measured its magnetization, longitudinal resistivity ($ρ_{xx}$) and Hall resistivity ($ρ_{yx}$) up to 35 T magnetic field. We also calculated its electronic band, Fermi surface, and conducted numerical simulations for its transport properties. It was found that no magnetic transition occurs below 400 K, and that all the transport properties are consistent with the numerical simulations results, indicating that the magnetotransport properties originate from the intrinsic electronic structures and are dominated by the Lorentz force. Particularly, no crystal Hall effects were observed in our RuO$_{2}$ samples and both magnetoresistance and Hall resistivity follow scaling behavior. These results demonstrate that RuO$_{2}$ is a typical semimetal, rather than an altermagnet.

cond-mat.mtrl-sci↗

arXiv2024

CFSafety: Comprehensive Fine-grained Safety Assessment for LLMs

As large language models (LLMs) rapidly evolve, they bring significant conveniences to our work and daily lives, but also introduce considerable safety risks. These models can generate texts with social biases or unethical content, and under specific adversarial instructions, may even incite illegal activities. Therefore, rigorous safety assessments of LLMs are crucial. In this work, we introduce a safety assessment benchmark, CFSafety, which integrates 5 classic safety scenarios and 5 types of instruction attacks, totaling 10 categories of safety questions, to form a test set with 25k prompts. This test set was used to evaluate the natural language generation (NLG) capabilities of LLMs, employing a combination of simple moral judgment and a 1-5 safety rating scale for scoring. Using this benchmark, we tested eight popular LLMs, including the GPT series. The results indicate that while GPT-4 demonstrated superior safety performance, the safety effectiveness of LLMs, including this model, still requires improvement. The data and code associated with this study are available on GitHub.

cs.CL↗

arXiv2024

Position: Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems

Recent advancements in solving large-scale traveling salesman problems (TSP) utilize the heatmap-guided Monte Carlo tree search (MCTS) paradigm, where machine learning (ML) models generate heatmaps, indicating the probability distribution of each edge being part of the optimal solution, to guide MCTS in solution finding. However, our theoretical and experimental analysis raises doubts about the effectiveness of ML-based heatmap generation. In support of this, we demonstrate that a simple baseline method can outperform complex ML approaches in heatmap generation. Furthermore, we question the practical value of the heatmap-guided MCTS paradigm. To substantiate this, our findings show its inferiority to the LKH-3 heuristic despite the paradigm's reliance on problem-specific, hand-crafted strategies. For the future, we suggest research directions focused on developing more theoretically sound heatmap generation methods and exploring autonomous, generalizable ML approaches for combinatorial problems. The code is available for review: https://github.com/xyfffff/rethink_mcts_for_tsp.

cs.AI↗

arXiv2024

Knowing What Not to Do: Leverage Language Model Insights for Action Space Pruning in Multi-agent Reinforcement Learning

Multi-agent reinforcement learning (MARL) is employed to develop autonomous agents that can learn to adopt cooperative or competitive strategies within complex environments. However, the linear increase in the number of agents leads to a combinatorial explosion of the action space, which may result in algorithmic instability, difficulty in convergence, or entrapment in local optima. While researchers have designed a variety of effective algorithms to compress the action space, these methods also introduce new challenges, such as the need for manually designed prior knowledge or reliance on the structure of the problem, which diminishes the applicability of these techniques. In this paper, we introduce Evolutionary action SPAce Reduction with Knowledge (eSpark), an exploration function generation framework driven by large language models (LLMs) to boost exploration and prune unnecessary actions in MARL. Using just a basic prompt that outlines the overall task and setting, eSpark is capable of generating exploration functions in a zero-shot manner, identifying and pruning redundant or irrelevant state-action pairs, and then achieving autonomous improvement from policy feedback. In reinforcement learning tasks involving inventory management and traffic light control encompassing a total of 15 scenarios, eSpark consistently outperforms the combined MARL algorithm in all scenarios, achieving an average performance gain of 34.4% and 9.9% in the two types of tasks respectively. Additionally, eSpark has proven to be capable of managing situations with a large number of agents, securing a 29.7% improvement in scalability challenges that featured over 500 agents. The code can be found in https://github.com/LiuZhihao2022/eSpark.git.

cs.MA↗

arXiv2023

A Unitary Operator Construction Solution Based on Pauli Group for Maximal Dense Coding

Quantum dense coding plays an important role in quantum cryptography communication, and how to select a set of appropriate unitary operators to encode message is the primary work in the design of quantum communication protocols. Shukla et al. proposed a preliminary method for unitary operator construction based on Pauli group under multiplication, which is used for dense coding in quantum dialogue. However, this method lacks feasible steps or conditions, and cannot construct all the possible unitary operator sets. In this study, a feasible solution of constructing unitary operator sets for quantum maximal dense coding is proposed, which aims to use minimum qubits to maximally encode a class of t-qubit symmetric states. These states have an even number of superposition items, and there is at least one set of t/2 qubits whose superposition items are orthogonal to each other. Firstly, we propose the procedure and the corresponding algorithm for constructing 2^t-order multiplicative modified generalized Pauli subgroups (multiplicative MGP subgroups). Then, two conditions for t-qubit symmetric states are given to select appropriate unitary operator sets from the above subgroups. Finally, we take 3-qubit GHZ, 4-qubit W, 4-qubit cluster and 5-qubit cluster states as examples, and demonstrate how to find all unitary operator sets for maximal dense coding through our construction solution, which shows that our solution is feasible and convenient.

quant-ph↗

arXiv2023

Understanding Solidity Event Logging Practices in the Wild

Writing logging messages is a well-established conventional programming practice, and it is of vital importance for a wide variety of software development activities. The logging mechanism in Solidity programming is enabled by the high-level event feature, but up to now there lacks study for understanding Solidity event logging practices in the wild. To fill this gap, we in this paper provide the first quantitative characteristic study of the current Solidity event logging practices using 2,915 popular Solidity projects hosted on GitHub. The study methodically explores the pervasiveness of event logging, the goodness of current event logging practices, and in particular the reasons for event logging code evolution, and delivers 8 original and important findings. The findings notably include the existence of a large percentage of independent event logging code modifications, and the underlying reasons for different categories of independent event logging code modifications are diverse (for instance, bug fixing and gas saving). We additionally give the implications of our findings, and these implications can enlighten developers, researchers, tool builders, and language designers to improve the event logging practices. To illustrate the potential benefits of our study, we develop a proof-of-concept checker on top of one of our findings and the checker effectively detects problematic event logging code that consumes extra gas in 35 popular GitHub projects and 9 project owners have already confirmed the detected issues.

cs.SE↗

arXiv2023

A Versatile Multi-Agent Reinforcement Learning Benchmark for Inventory Management

Multi-agent reinforcement learning (MARL) models multiple agents that interact and learn within a shared environment. This paradigm is applicable to various industrial scenarios such as autonomous driving, quantitative trading, and inventory management. However, applying MARL to these real-world scenarios is impeded by many challenges such as scaling up, complex agent interactions, and non-stationary dynamics. To incentivize the research of MARL on these challenges, we develop MABIM (Multi-Agent Benchmark for Inventory Management) which is a multi-echelon, multi-commodity inventory management simulator that can generate versatile tasks with these different challenging properties. Based on MABIM, we evaluate the performance of classic operations research (OR) methods and popular MARL algorithms on these challenging tasks to highlight their weaknesses and potential.

cs.AI↗

arXiv2022

CRFormer: A Cross-Region Transformer for Shadow Removal

Aiming to restore the original intensity of shadow regions in an image and make them compatible with the remaining non-shadow regions without a trace, shadow removal is a very challenging problem that benefits many downstream image/video-related tasks. Recently, transformers have shown their strong capability in various applications by capturing global pixel interactions and this capability is highly desirable in shadow removal. However, applying transformers to promote shadow removal is non-trivial for the following two reasons: 1) The patchify operation is not suitable for shadow removal due to irregular shadow shapes; 2) shadow removal only needs one-way interaction from the non-shadow region to the shadow region instead of the common two-way interactions among all pixels in the image. In this paper, we propose a novel cross-region transformer, namely CRFormer, for shadow removal which differs from existing transformers by only considering the pixel interactions from the non-shadow region to the shadow region without splitting images into patches. This is achieved by a carefully designed region-aware cross-attention operation that can aggregate the recovered shadow region features conditioned on the non-shadow region features. Extensive experiments on ISTD, AISTD, SRD, and Video Shadow Removal datasets demonstrate the superiority of our method compared to other state-of-the-art methods.

cs.CV↗

arXiv2021

e-ACJ: Accurate Junction Extraction For Event Cameras

Junctions reflect the important geometrical structure information of the image, and are of primary significance to applications such as image matching and motion analysis. Previous event-based feature extraction methods are mainly focused on corners, which mainly find their locations, however, ignoring the geometrical structure information like orientations and scales of edges. This paper adapts the frame-based a-contrario junction detector(ACJ) to event data, proposing the event-based a-contrario junction detector(e-ACJ), which yields junctions' locations while giving the scales and orientations of their branches. The proposed method relies on an a-contrario model and can operate on asynchronous events directly without generating synthesized event frames. We evaluate the performance on public event datasets. The result shows our method successfully finds the orientations and scales of branches, while maintaining high accuracy in junction's location.

cs.CV↗

arXiv2021

From Shadow Generation to Shadow Removal

Shadow removal is a computer-vision task that aims to restore the image content in shadow regions. While almost all recent shadow-removal methods require shadow-free images for training, in ECCV 2020 Le and Samaras introduces an innovative approach without this requirement by cropping patches with and without shadows from shadow images as training samples. However, it is still laborious and time-consuming to construct a large amount of such unpaired patches. In this paper, we propose a new G2R-ShadowNet which leverages shadow generation for weakly-supervised shadow removal by only using a set of shadow images and their corresponding shadow masks for training. The proposed G2R-ShadowNet consists of three sub-networks for shadow generation, shadow removal and refinement, respectively and they are jointly trained in an end-to-end fashion. In particular, the shadow generation sub-net stylises non-shadow regions to be shadow ones, leading to paired data for training the shadow-removal sub-net. Extensive experiments on the ISTD dataset and the Video Shadow Removal dataset show that the proposed G2R-ShadowNet achieves competitive performances against the current state of the arts and outperforms Le and Samaras' patch-based shadow-removal method.

cs.CV↗

arXiv2020

Enhanced Framework of Quantum Approximate Optimization Algorithm and Its Parameter Setting Strategy

An enhanced framework of quantum approximate optimization algorithm (QAOA) is introduced and the parameter setting strategies are analyzed. The enhanced QAOA is as effective as the QAOA but exhibits greater computing power and flexibility, and with proper parameters, it can arrive at the optimal solution faster. Moreover, based on the analysis of this framework, strategies are provided to select the parameter at a cost of $O(1)$. Simulations are conducted on randomly generated 3-satisfiability (3-SAT) of scale of 20 qubits and the optimal solution can be found with a high probability in iterations much less than $O(\sqrt{N})$

quant-ph↗