Researcher profile

Shang Liu

Shang Liu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

A New Benchmark for the Appropriate Evaluation of RTL Code Optimization

The rapid progress of artificial intelligence increasingly relies on efficient integrated circuit (IC) design. Recent studies have explored the use of large language models (LLMs) for generating Register Transfer Level (RTL) code, but existing benchmarks mainly evaluate syntactic correctness rather than optimization quality in terms of power, performance, and area (PPA). This work introduces RTL-OPT, a benchmark for assessing the capability of LLMs in RTL optimization. RTL-OPT contains 36 handcrafted digital designs that cover diverse implementation categories including combinational logic, pipelined datapaths, finite state machines, and memory interfaces. Each task provides a pair of RTL codes, a suboptimal version and a human-optimized reference that reflects industry-proven optimization patterns not captured by conventional synthesis tools. Furthermore, RTL-OPT integrates an automated evaluation framework to verify functional correctness and quantify PPA improvements, enabling standardized and meaningful assessment of generative models for hardware design optimization.

preprint2026arXiv

Markov Gap and Bound Entanglement in Haar Random State

Bound entanglement refers to entangled states that cannot be distilled into maximally entangled states and therefore cannot directly be used in many quantum information processing protocols. We identify a relationship between bound entanglement and the Markov gap, which is introduced within holography via the entanglement wedge cross section and is related to the fidelity of the partial Markov recovery problem. We prove that a bound entangled state must have a nonzero Markov gap. Conversely, for sufficiently large systems, a state with a weakly nonzero Markov gap typically has a bound entangled or separable marginal state, where entanglement is undistillable. Furthermore, this implies that the transition from a bound entangled to a separable state originates from the properties of states with a weakly nonzero Markov gap, which may be dual to non-perturbative effects from a holographic perspective. Our results shed light on the investigation of the Markov gap and enhance interdisciplinary applications of quantum information.

preprint2026arXiv

RTL-BenchMT: Dynamic Maintenance of RTL Generation Benchmark Through Agent-Assisted Analysis and Revision

This paper introduces RTL-BenchMT, an agentic framework for dynamically maintaining RTL generation benchmarks. Large Language Models (LLMs) assisted automated RTL generation is one of the most important directions in EDA research. However, current RTL benchmarks face two critical challenges: (1) flawed cases in the benchmarks and (2) overfitting to the benchmarks. Both challenges are difficult to resolve purely by manual engineering effort. To address these issues and systematically reduce human maintenance costs, we propose an automated agentic framework, RTL-BenchMT. RTL-BenchMT focuses on two key applications: (1) automatically identifying and revising flawed benchmark cases and (2) automatically detecting and updating overfitting cases. With the assistance of RTL-BenchMT, we conduct a thorough, in-depth analysis of flawed and overfitting cases and produce a refined benchmark suite that will be open-sourced to the community.

preprint2026arXiv

Wasserstein Distributionally Robust Regret Optimization for Reinforcement Learning from Human Feedback

Reinforcement learning from human feedback (RLHF) has become a core post-training step for aligning large language models, yet the reward signal used in RLHF is only a learned proxy for true human utility. From an operations research perspective, this creates a decision problem under objective misspecification: the policy is optimized against an estimated reward, while deployment performance is determined by an unobserved objective. The resulting gap leads to reward over-optimization, or Goodharting, where proxy reward continues to improve even after true quality deteriorates. Existing mitigations address this problem through uncertainty penalties, pessimistic rewards, or conservative constraints, but they can be computationally burdensome and overly pessimistic. We propose Wasserstein distributionally robust regret optimization (DRRO) for RLHF. Instead of pessimizing worst-case value as in standard DRO, DRRO pessimizes worst-case regret relative to the best policy under the same plausible reward perturbation. We study the promptwise problem through a simplex allocation model and show that, under an $\ell_1$-ground-cost Wasserstein ambiguity set, the inner worst-case regret admits an exact solution and the optimal policy has a water-filling structure. These results lead to a practical policy-gradient algorithm with a simple sampled-bonus interpretation and only minor changes to GRPO-style RLHF training. The framework also clarifies theoretically why DRRO is less pessimistic than DRO, and our experiments show that DRRO mitigates over-optimization more effectively than existing baselines while standard DRO is systematically over-pessimistic.

preprint2022arXiv

3D Nanoscale Mapping of Short-Range Order in GeSn Alloys

GeSn on Si has attracted much research interest due to its tunable direct bandgap for mid-infrared applications. Recently, short-range order (SRO) in GeSn alloys has been theoretically predicted, which profoundly impacts the band structure. However, characterizing SRO in GeSn is challenging. Guided by physics-informed Poisson statistical analyses of Kth-nearest neighbors (KNN) in atom probe tomography, a new approach is demonstrated here for 3D nanoscale SRO mapping and semi-quantitative strain mapping in GeSn. For GeSn with ~14 at.% Sn, the SRO parameters of Sn-Sn 1NN in 10x10x10 nm$^{3}$ nanocubes can deviate from that of the random alloys by $\pm$15%. The relatively large fluctuation of the SRO parameters contributes to band-edge softening observed optically. Sn-Sn 1NN also tends to be more favored towards the surface, less favored under strain relaxation or tensile strain, while almost independent of local Sn composition. An algorithm based on least square fit of atomic positions further verifies this Poisson-KNN statistical method. Compared to existing macroscopic spectroscopy or electron microscopy techniques, this new APT statistical analysis uniquely offers 3D SRO mapping at nanoscale resolution in a relatively large volume with millions of atoms. It can also be extended to investigate SRO in other alloy systems.

preprint2022arXiv

Points-of-Interest Relationship Inference with Spatial-enriched Graph Neural Networks

As a fundamental component in location-based services, inferring the relationship between points-of-interests (POIs) is very critical for service providers to offer good user experience to business owners and customers. Most of the existing methods for relationship inference are not targeted at POI, thus failing to capture unique spatial characteristics that have huge effects on POI relationships. In this work we propose PRIM to tackle POI relationship inference for multiple relation types. PRIM features four novel components, including a weighted relational graph neural network, category taxonomy integration, a self-attentive spatial context extractor, and a distance-specific scoring function. Extensive experiments on two real-world datasets show that PRIM achieves the best results compared to state-of-the-art baselines and it is robust against data sparsity and is applicable to unseen cases in practice.

preprint2022arXiv

Tunable Confinement-Deconfinement Transition in an Ultracold Atom Quantum Simulator

The one-dimensional lattice Schwinger model has recently been realized by using bosons in optical lattices. This model contains both confinement and deconfinement phases, whose phase diagram is controlled by the mass of the matter field and the topological angle. Since varying the mass of matter field is straightforward experimentally, we propose how to tune the topological angle, allowing accessing the entire phase diagram. We propose that direct experimental evidence of confinement and deconfinement can be obtained by measuring whether a physical charge is localized around a fixed gauge charge to screen it. We also discuss the PXP model realized in the Rydberg atoms array, which is equivalent to the lattice Schwinger model when all local gauge charges are fixed as zero. Although the gauge charges are fixed, we can alternatively probe the confinement and the deconfinement in the PXP model by studying the relative motion of a pair of a physical charge and an anti-charge. Our scheme can be directly implemented in these two relevant experimental platforms of ultracold atom quantum simulators.

preprint2021arXiv

Pascal's Triangle Fractal Symmetries

We introduce a model of interacting bosons exhibiting an infinite collection of fractal symmetries -- termed "Pascal's triangle symmetries" -- which provides a natural $U(1)$ generalization of a spin-(1/2) system with Sierpinski triangle fractal symmetries. The Pascal's triangle symmetry gives rise to exact degeneracies, as well as a manifold of low-energy states which are absent in the Sierpinski triangle model. Breaking the $U(1)$ symmetry of this model to $Z_p$, with prime integer $p$, yields a lattice model with a unique fractal symmetry which is generated by an operator supported on a fractal subsystem with Hausdorff dimension $d_H = \ln (p(p+1)/2)/\ln p$. The Hausdorff dimension of the fractal can be probed through correlation functions at finite temperature. The phase diagram of these models at zero temperature in the presence of quantum fluctuations, as well as the potential physical construction of the $U(1)$ model are discussed.

preprint2021arXiv

Quantum Many-Body Scars and Quantum Criticality

In this letter, we study the PXP Hamiltonian with an external magnetic field that exhibits both quantum scar states and quantum criticality. It is known that this model hosts a series of quantum many-body scar states violating quantum thermalization at zero magnetic field, and it also exhibits an Ising quantum phase transition driven by finite magnetic field. Although the former involves the properties of generic excited states and the latter concerns the low-energy physics, we discover two surprising connections between them, inspired by the observation that both states possess log-volume law entanglement entropies. First, we show that the quantum many-body scar states can be tracked to a set of quantum critical states, whose nature can be understood as pair-wisely occupied Fermi sea states. Second, we show that the partial violation of quantum thermalization diminishes in the quantum critical regime. We envision that these connections can be extended to general situations and readily verified in existing cold atom experimental platforms.

preprint2020arXiv

Ground State and Hidden Symmetry of Magic Angle Graphene at Even Integer Filling

In magic angle twisted bilayer graphene, electron-electron interactions play a central role resulting in correlated insulating states at certain integer fillings. Identifying the nature of these insulators is a central question and potentially linked to the relatively high temperature superconductivity observed in the same devices. Here we address this question using a combination of analytical strong-coupling arguments and a comprehensive Hartree-Fock numerical calculation which includes the effect of remote bands. The ground state we obtain at charge neutrality is an unusual ordered state which we call the Kramers intervalley-coherent (K-IVC) insulator. In its simplest form, the K-IVC exhibits a pattern of alternating circulating currents which triples the graphene unit cell leading to an "orbital magnetization density wave". Although translation and time reversal symmetry are broken, a combined `Kramers' time reversal symmetry is preserved. Our analytic arguments are built on first identifying an approximate ${\rm U}(4) \times {\rm U}(4)$ symmetry, resulting from the remarkable properties of the tBG band structure, which helps select a low energy manifold of states, which are further split to favor the K-IVC. This low energy manifold is also found in the Hartree-Fock numerical calculation. We show that symmetry lowering perturbations can stabilize other insulators and the semi-metallic state, and discuss the ground state at half filling and a comparison with experiments.