arXiv subjects

Hui Li

Publications and source records attributed to Hui Li.

At least 235 records · Page 13Linked to original sources

arXiv2025

Fine-Grained Customized Fashion Design with Image-into-Prompt benchmark and dataset from LMM

Generative AI evolves the execution of complex workflows in industry, where the large multimodal model empowers fashion design in the garment industry. Current generation AI models magically transform brainstorming into fancy designs easily, but the fine-grained customization still suffers from text uncertainty without professional background knowledge from end-users. Thus, we propose the Better Understanding Generation (BUG) workflow with LMM to automatically create and fine-grain customize the cloth designs from chat with image-into-prompt. Our framework unleashes users' creative potential beyond words and also lowers the barriers of clothing design/editing without further human involvement. To prove the effectiveness of our model, we propose a new FashionEdit dataset that simulates the real-world clothing design workflow, evaluated from generation similarity, user satisfaction, and quality. The code and dataset: https://github.com/detectiveli/FashionEdit.

cs.CV↗

arXiv2025

Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation

With the rapid adoption of Models-as-a-Service, concerns about data and model privacy have become increasingly critical. To solve these problems, various privacy-preserving inference schemes have been proposed. In particular, due to the efficiency and interpretability of decision trees, private decision tree evaluation (PDTE) has garnered significant attention. However, existing PDTE schemes suffer from significant limitations: their communication and computation costs scale with the number of trees, the number of nodes, or the tree depth, which makes them inefficient for large-scale models, especially over WAN networks. To address these issues, we propose Kangaroo, a private and amortized decision tree inference framework build upon packed homomorphic encryption. Specifically, we design a novel model hiding and encoding scheme, together with secure feature selection, oblivious comparison, and secure path evaluation protocols, enabling full amortization of the overhead as the number of nodes or trees scales. Furthermore, we enhance the performance and functionality of the framework through optimizations, including same-sharing-for-same-model, latency-aware, and adaptive encoding adjustment strategies. Kangaroo achieves a $14\times$ to $59\times$ performance improvement over state-of-the-art (SOTA) one-round interactive schemes in WAN environments. For large-scale decision tree inference tasks, it delivers a $3\times$ to $44\times$ speedup compared to existing schemes. Notably, Kangaroo enables the evaluation of a random forest with $969$ trees and $411825$ nodes in approximately $60$ ms per tree (amortized) under WAN environments.

cs.CR↗

arXiv2025

Anomalous-Hall Neel textures in altermagnetic materials

Recently, the altermagnets, a new kind of collinear antiferromagnet with nearly zero net magnetization and momentum-dependent spin-splitting of bands, have sparked great interest. Despite simple magnetic structures, these altermagnets exhibit intriguing and intricate dependence of anomalous Hall effect (AHE) on the Néel vector, in contrast to the conventional perpendicular configuration of Hall current with magnetization in ferromagnets. However, the fundamental relationship between the AHE and the Néel vector remains largely elusive. Here, we reveal all the unconventional anomalous Hall textures in the Néel vector space, dubbed anomalous-Hall Néel textures (AHNTs) for altermagnets. Specifically, we identify 10 types across four categories of AHNTs for all altermagnets. Notably, we find that AHNTs resemble the known spin textures in momentum space, and further reveal their symmetry origin. Meanwhile, we examine our key discoveries in prototypical altermagnets. Our work offers a thorough understanding of AHE in altermagnets and a complete and pictorial classification of altermagnets based on the geometry of response functions.

cond-mat.mtrl-sci↗

arXiv2025

ARCH: Hierarchical Hybrid Learning for Long-Horizon Contact-Rich Robotic Assembly

Generalizable long-horizon robotic assembly requires reasoning at multiple levels of abstraction. While end-to-end imitation learning (IL) is a promising approach, it typically requires large amounts of expert demonstration data and often struggles to achieve the high precision demanded by assembly tasks. Reinforcement learning (RL) approaches, on the other hand, have shown some success in high-precision assembly, but suffer from sample inefficiency, which limits their effectiveness in long-horizon tasks. To address these challenges, we propose a hierarchical modular approach, named Adaptive Robotic Compositional Hierarchy (ARCH), which enables long-horizon, high-precision robotic assembly in contact-rich settings. ARCH employs a hierarchical planning framework, including a low-level primitive library of parameterized skills and a high-level policy. The low-level primitive library includes essential skills for assembly tasks, such as grasping and inserting. These primitives consist of both RL and model-based policies. The high-level policy, learned via IL from a handful of demonstrations, without the need for teleoperation, selects the appropriate primitive skills and instantiates them with input parameters. We extensively evaluate our approach in simulation and on a real robotic manipulation platform. We show that ARCH generalizes well to unseen objects and outperforms baseline methods in terms of success rate and data efficiency. More details are available at: https://long-horizon-assembly.github.io.

cs.RO↗

arXiv2025

Nemotron-H: A Family of Accurate and Efficient Hybrid Mamba-Transformer Models

As inference-time scaling becomes critical for enhanced reasoning capabilities, it is increasingly becoming important to build models that are efficient to infer. We introduce Nemotron-H, a family of 8B and 56B/47B hybrid Mamba-Transformer models designed to reduce inference cost for a given accuracy level. To achieve this goal, we replace the majority of self-attention layers in the common Transformer model architecture with Mamba layers that perform constant computation and require constant memory per generated token. We show that Nemotron-H models offer either better or on-par accuracy compared to other similarly-sized state-of-the-art open-sourced Transformer models (e.g., Qwen-2.5-7B/72B and Llama-3.1-8B/70B), while being up to 3$\times$ faster at inference. To further increase inference speed and reduce the memory required at inference time, we created Nemotron-H-47B-Base from the 56B model using a new compression via pruning and distillation technique called MiniPuzzle. Nemotron-H-47B-Base achieves similar accuracy to the 56B model, but is 20% faster to infer. In addition, we introduce an FP8-based training recipe and show that it can achieve on par results with BF16-based training. This recipe is used to train the 56B model. We are releasing Nemotron-H base model checkpoints with support in Hugging Face and NeMo.

cs.CL↗

arXiv2025

Optical+NIR analysis of a Newly Confirmed Einstein ring at z$\sim$1 from the Kilo-Degree Survey: Dark matter fraction, total and dark matter density slope and IMF

We report the spectroscopic confirmation of a bright blue Einstein ring in the Kilo Degree Survey (KiDS) footprint: the Einstein ``blue eye''. Spectroscopic data from X-Shooter at the Very Large Telescope (VLT) show that the lens is a typical early-type galaxy (ETG) at $z_l=0.9906$, while the background source is a Ly$α$ emitter at $z_s=2.823$. The reference lens modeling was performed on a high-resolution $Y-$band adaptive-optics image from HAWK-I at VLT. Assuming a singular isothermal ellipsoid (SIE) total mass density profile, we inferred an Einstein radius $R_{Ein}=10.47 \pm 0.06$ kpc. The average slope of the total mass density inside the Einstein radius, as determined by a joint analysis of lensing and isotropic Jeans equations is $γ_{tot}=2.14^{+0.06}_{-0.07}$, showing no systematic deviation from the slopes of lower redshift galaxies, This can be the evidence of ETGs developing through dry mergers plus moderate dissipationless accretion. Stellar population analysis with 8-band ($gri$ZYJHK$s$) photometries from KiDS and VIKING shows that the total stellar mass of the lens is $M*=(3.95\pm 0.35)\times 10^{11} M_\odot$ (Salpeter Initial Mass Function, IMF), implying a dark matter fraction inside the effective radius to be $f_{\rm DM}=0.307\pm 0.151$. We finally explored the dark matter halo slope and found a strong degeneracy with the dynamic stellar mass. Dark matter adiabatic contraction is needed to explain the posterior distribution of the slope unless IMF heavier than Salpeter is assumed.

astro-ph.GA↗

arXiv2025

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound

Field-Programmable Gate Arrays (FPGAs) play an indispensable role in Electronic Design Automation (EDA), translating Register-Transfer Level (RTL) designs into gate-level netlists. The correctness and reliability of FPGA logic synthesis tools are critically important, as unnoticed bugs in these tools may infect the final hardware implementations. However, recent approaches often rely heavily on random selection strategies, limiting the structural diversity of the generated HDL test cases and resulting in inadequate exploration of the tool's feature space. To address this limitation, we propose Lin-Hunter, a novel testing framework designed to systematically enhance the diversity of HDL test cases and the efficiency of FPGA logic synthesis tool validation. Specifically, Lin-Hunter introduces a principled set of metamorphic transformation rules to generate functionally equivalent yet structurally diverse HDL test case variants, effectively addressing the limited diversity of existing test inputs. To further enhance bug discovery efficiency, Lin-Hunter integrates an adaptive strategy selection mechanism based on the Linear Upper Confidence Bound (LinUCB) method. This method leverages feedback from synthesis logs of previously executed test cases to dynamically prioritize transformation strategies that have empirically demonstrated a higher likelihood of triggering synthesis bugs. Comprehensive experiments conducted over a three-month period demonstrate the practical effectiveness of Lin-Hunter. Our method has discovered 18 unique bugs, including 10 previously unreported defects, which have been confirmed by official developers. Moreover, our method outperforms state-of-the-art testing methods in both test-case diversity and bug-discovery efficiency.

cs.SE↗

arXiv2025

Gorgeous: Revisiting the Data Layout for Disk-Resident High-Dimensional Vector Search

Similarity-based vector search underpins many important applications, but a key challenge is processing massive vector datasets (e.g., in TBs). To reduce costs, some systems utilize SSDs as the primary data storage. They employ a proximity graph, which connects similar vectors to form a graph and is the state-of-the-art index for vector search. However, these systems are hindered by sub-optimal data layouts that fail to effectively utilize valuable memory space to reduce disk access and suffer from poor locality for accessing disk-resident data. Through extensive profiling and analysis, we found that the structure of the proximity graph index is accessed more frequently than the vectors themselves, yet existing systems do not distinguish between the two. To address this problem, we design the Gorgeous system with the principle of prioritizing graph structure over vectors. Specifically, Gorgeous features a memory cache that keeps the adjacency lists of graph nodes to improve cache hits and a disk block format that explicitly stores neighbors' adjacency lists along with a vector to enhance data locality. Experimental results show that Gorgeous consistently outperforms two state-of-the-art disk-based systems for vector search, boosting average query throughput by over 60% and reducing query latency by over 35%.

cs.DB↗

arXiv2025

Modeling Relational Logic Circuits for And-Inverter Graph Convolutional Network

The automation of logic circuit design enhances chip performance, energy efficiency, and reliability, and is widely applied in the field of Electronic Design Automation (EDA).And-Inverter Graphs (AIGs) efficiently represent, optimize, and verify the functional characteristics of digital circuits, enhancing the efficiency of EDA development.Due to the complex structure and large scale of nodes in real-world AIGs, accurate modeling is challenging, leading to existing work lacking the ability to jointly model functional and structural characteristics, as well as insufficient dynamic information propagation capability.To address the aforementioned challenges, we propose AIGer.Specifically, AIGer consists of two components: 1) Node logic feature initialization embedding component and 2) AIGs feature learning network component.The node logic feature initialization embedding component projects logic nodes, such as AND and NOT, into independent semantic spaces, to enable effective node embedding for subsequent processing.Building upon this, the AIGs feature learning network component employs a heterogeneous graph convolutional network, designing dynamic relationship weight matrices and differentiated information aggregation approaches to better represent the original structure and information of AIGs.The combination of these two components enhances AIGer's ability to jointly model functional and structural characteristics and improves its message passing capability. Experimental results indicate that AIGer outperforms the current best models in the Signal Probability Prediction (SSP) task, improving MAE and MSE by 18.95\% and 44.44\%, respectively. In the Truth Table Distance Prediction (TTDP) task, AIGer achieves improvements of 33.57\% and 14.79\% in MAE and MSE, respectively, compared to the best-performing models.

cs.AI↗

arXiv2025

Quantum Quench Dynamics in an Exactly Solvable Two-Dimensional Non-Fermi Liquid System

Understanding the behavior of non-Fermi liquids (NFLs) is an important topic in condensed matter physics. Here we introduce an exactly solvable multi-orbital model based on iron oxypnictides and the Hatsugai-Kohmoto model, and provide exact investigations of the 2D NFLs nonequilibrium physics present in this model. Our results reveal fundamental departures from Fermi liquids and prior NFLs in the well-know SYK model: anomalous short-time scaling $-τ^2 \ln τ$, $O(τ) \sim τ^2$; long-time scaling $ τ^{-1}, τ^{-1/2}, \ln τ/ τ$; a strange critical behavior in the steady-state phase diagram. Our asymptotic results and dynamical critical behavior offer new insights into the orbital-related dynamical physics of 2D NFLs.

cond-mat.str-el↗

arXiv2025

Privacy-Preserving Approximate Nearest Neighbor Search on High-Dimensional Data

In the era of cloud computing and AI, data owners outsource ubiquitous vectors to the cloud, which furnish approximate $k$-nearest neighbors ($k$-ANNS) services to users. To protect data privacy against the untrusted server, privacy-preserving $k$-ANNS (PP-ANNS) on vectors has been a fundamental and urgent problem. However, existing PP-ANNS solutions fall short of meeting the requirements of data privacy, efficiency, accuracy, and minimal user involvement concurrently. To tackle this challenge, we introduce a novel solution that primarily executes PP-ANNS on a single cloud server to avoid the heavy communication overhead between the cloud and the user. To ensure data privacy, we introduce a novel encryption method named distance comparison encryption, facilitating secure, efficient, and exact distance comparisons. To optimize the trade-off between data privacy and search performance, we design a privacy-preserving index that combines the state-of-the-art $k$-ANNS method with an approximate distance computation method. Then, we devise a search method using a filter-and-refine strategy based on the index. Moreover, we provide the security analysis of our solution and conduct extensive experiments to demonstrate its superiority over existing solutions. Based on our experimental results, our method accelerates PP-ANNS by up to 3 orders of magnitude compared to state-of-the-art methods, while not compromising the accuracy.

cs.DB↗

arXiv2025

Whole-Body Coordination for Dynamic Object Grasping with Legged Manipulators

Quadrupedal robots with manipulators offer strong mobility and adaptability for grasping in unstructured, dynamic environments through coordinated whole-body control. However, existing research has predominantly focused on static-object grasping, neglecting the challenges posed by dynamic targets and thus limiting applicability in dynamic scenarios such as logistics sorting and human-robot collaboration. To address this, we introduce DQ-Bench, a new benchmark that systematically evaluates dynamic grasping across varying object motions, velocities, heights, object types, and terrain complexities, along with comprehensive evaluation metrics. Building upon this benchmark, we propose DQ-Net, a compact teacher-student framework designed to infer grasp configurations from limited perceptual cues. During training, the teacher network leverages privileged information to holistically model both the static geometric properties and dynamic motion characteristics of the target, and integrates a grasp fusion module to deliver robust guidance for motion planning. Concurrently, we design a lightweight student network that performs dual-viewpoint temporal modeling using only the target mask, depth map, and proprioceptive state, enabling closed-loop action outputs without reliance on privileged data. Extensive experiments on DQ-Bench demonstrate that DQ-Net achieves robust dynamic objects grasping across multiple task settings, substantially outperforming baseline methods in both success rate and responsiveness.

cs.RO↗

arXiv2025

Deep Code Search with Naming-Agnostic Contrastive Multi-View Learning

Software development is a repetitive task, as developers usually reuse or get inspiration from existing implementations. Code search, which refers to the retrieval of relevant code snippets from a codebase according to the developer's intent that has been expressed as a query, has become increasingly important in the software development process. Due to the success of deep learning in various applications, a great number of deep learning based code search approaches have sprung up and achieved promising results. However, developers may not follow the same naming conventions and the same variable may have different variable names in different implementations, bringing a challenge to deep learning based code search methods that rely on explicit variable correspondences to understand source code. To overcome this challenge, we propose a naming-agnostic code search method (NACS) based on contrastive multi-view code representation learning. NACS strips information bound to variable names from Abstract Syntax Tree (AST), the representation of the abstract syntactic structure of source code, and focuses on capturing intrinsic properties solely from AST structures. We use semantic-level and syntax-level augmentation techniques to prepare realistically rational data and adopt contrastive learning to design a graph-view modeling component in NACS to enhance the understanding of code snippets. We further model ASTs in a path view to strengthen the graph-view modeling component through multi-view learning. Extensive experiments show that NACS provides superior code search performance compared to baselines and NACS can be adapted to help existing code search methods overcome the impact of different naming conventions. Our implementation is available at https://github.com/KDEGroup/NACS.

cs.IR↗

arXiv2025

AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver

Many problems are governed by differential equations (DEs). Artificial intelligence (AI) is a new path for solving DEs. However, data is very scarce and existing AI solvers struggle with approximation of high frequency components (AHFC). We propose an AI paradigm for solving diverse DEs, including DE-ruled first-principles data generation methodology and scale-dilation operator (SDO) AI solver. Using either prior knowledge or random fields, we generate solutions and then substitute them into the DEs to derive the sources and initial/boundary conditions through balancing DEs, thus producing arbitrarily vast amount of, first-principles-consistent training datasets at extremely low computational cost. We introduce a reversible SDO that leverages the Fourier transform of the multiscale solutions to fix AHFC, and design a spatiotemporally coupled, attention-based Transformer AI solver of DEs with SDO. An upper bound on the Hessian condition number of the loss function is proven to be proportional to the squared 2-norm of the solution gradient, revealing that SDO yields a smoother loss landscape, consequently fixing AHFC with efficient training. Extensive tests on diverse DEs demonstrate that our AI paradigm achieves consistently superior accuracy over state-of-the-art methods. This work makes AI solver of DEs to be truly usable in broad nature and engineering fields.

cs.LG↗

arXiv2025

Probing Turbulence, Gravity, Supernovae, and Magnetic Field Effects with the 6D Kinematics of Young Stars in Milky Way Star-Forming Regions

The dynamics of star forming gas can be affected by many physical processes, such as turbulence, gravity, supernova explosions, and magnetic fields. In this paper, we investigate several nearby star forming regions (Orion, Upper Sco, Taurus, and Perseus) for kinematic imprints of these influences on the newly formed stars. Using Gaia DR3 astrometry and APOGEE DR17 radial velocities, we compute first-order velocity structure functions (VSFs) of young stars in galactic Cartesian coordinates in both 6D (3D positions and 3D velocities) and 4D (3D positions and each 1D velocity) to identify signatures of turbulence and anisotropic motion. We also construct 3D and 1D radial velocity profiles to identify coherent expansion trends, and compare stellar proper motions to plane-of-sky magnetic field orientations in Taurus and Perseus. We find that the VSFs are mildly anisotropic, with slightly different amplitudes, slopes, or features in different directions in several groups, but in general, they are all consistent with Larson's Relation at intermediate length scales, especially in less compact groups. In several cases, the VSFs exhibit features suggestive of local energy injection from supernovae. Radial velocity profiles reveal clear anisotropic expansion in multiple groups, with the most extreme cases corresponding to those with the most anisotropic VSFs. In Perseus, we find that the motions of young stars are preferentially perpendicular to the local magnetic field. We find multiple, overlapping causes in each group for the observed kinematics. Our findings support that young stars remember more than just the turbulent state of their natal clouds.

astro-ph.GA↗

arXiv2025

The ALMA Survey of 70 $μ$m Dark High-mass Clumps in Early Stages (ASHES). XII. Unanchored Forked Stream in the Propagating Path of a Protostellar Outflow

Outflows are key indicators of ongoing star formation. We report the discovery of an unanchored forked stream within the propagating path of an extremely young protostellar outflow in the 70 $μ$m-dark clump G34.74-0.12, based on ALMA 1.3 mm observations with an angular resolution of 1''.6 (~ 5000 au). This outflow originate from a 9.7 $M_{\odot}$ core, exhibits a fork-shaped stream structure in its red-shifted lobe, which is traced by CO (2-1), SiO (5-4), and H$_2$CO (3$_{0,3}$-2$_{0,2}$). It has a momentum of 13 $M_{\odot}$ km s$^{-1}$, an energy of 107 $M_{\odot}$ km$^{2}$ s$^{-2}$, and a dynamical timescale of ~10$^{4}$ yr. Significantly, the enhanced relative abundances of SiO, H$_2$CO, and CH$_3$OH with respect to CO, along with the increased temperature at the forked point, indicate a collisional origin. The forked point does not coincide with any dust continuum core > 0.1 $M_{\odot}$. Moreover, CO (2-1) emission also traces three other outflows in this region, characterized by their masses (0.40, 0.02 and 0.15 $M_{\odot}$) and momenta (5.2, 0.2, 1.8 $M_{\odot}$ km s$^{-1}$), as part of the ALMA Survey of 70 $μ$m dark High-mass clumps in Early Stages (ASHES) project. All the newly discovered morphological and kinematic features associated with these extremely young protostellar outflows (with timescales of 10$^3$ - 10$^4$ years) suggest that the initial stages of star formation are more complicated than previously understood.

astro-ph.GA↗

arXiv2025

The THESAN project: environmental drivers of Local Group reionization

The timing of cosmic reionization across Local Group (LG) analogues provides insights into their early histories and surrounding large-scale structure. Using the radiation-hydrodynamic simulation THESAN-1 and its dark matter-only counterpart THESAN-DARK-1, we track the reionization histories of all haloes, including 224 LG analogues within the proximity of any of the 20 Virgo-like clusters with halo masses above 10^14 Msun at z=0 and their environments. The statistically controlled samples quantify how the reionization redshift (z_reion) correlates with halo mass, local overdensity, and present-day pair properties. Even at fixed mass, haloes in denser regions ionize earlier, and increasing the overdensity smoothing scale systematically suppresses small-scale structure, including local variations and environmental gradients in z_reion. Virgo-like clusters accelerate reionization in their surroundings out to ~5-10 cMpc, beyond which local overdensity again becomes the dominant factor. Within LG pairs, reionization timing offsets reach up to ~150 Myr and correlate with present-day halo separation, reflecting sensitivity to large-scale structure rather than mass ratio in driving asynchronous reionization. The results support an extreme inside-out picture where clustered sources rapidly ionize their immediate neighborhoods, while lower-density regions self-ionize later and voids wait for external homogenization. These links between environment and reionization timing explain the influence of protoclusters and help interpret fossil records in LG dwarfs around the Milky Way. For Milky Way analogues, we find a reionization redshift as early (late) as z_reion = 12.7^{+2.0}_{-1.7} (8.88^{+0.66}_{-0.70}) when considered on 125 ckpc (500 ckpc) scales, with LG analogues following an inside-out reionization picture.

astro-ph.CO↗

arXiv2025

The life cycle of giant molecular clouds in simulated Milky Way-mass galaxies

In this work, we trace the complete life cycle of individual GMCs in high-resolution Milky Way-mass galaxy simulations to determine how different stellar feedback mechanisms and galactic-scale processes govern cloud lifetimes, mass evolution, and local star formation efficiency (SFE). We identify GMCs in simulated galaxies and track their evolution using cloud evolution trees. Via cloud evolution trees, we quantify the lifetimes and SFE of GMCs. We further apply our diagnostics on a suite of simulations with varying star formation and stellar feedback subgrid models and explore their impact together with galactic environments to the GMC life cycles. Our analysis reveals that GMCs undergo dynamic evolution, characterized by continuous gas accretion, gravitational collapse, and star formation, followed by disruption due to stellar feedback. The accretion process sustains the gas content throughout most of the GMC life cycles, resulting in a positive correlation between GMC lifetimes and their maximum masses. The GMC lifetimes range from a few to several tens of Myr, with two distinct dynamical modes: (1) GMCs near the galactic center experience strong tidal disturbances, prolonging their lifetimes when they remain marginally unbound; (2) those in the outer regions are less affected by tides, remain gravitationally bound, and evolve more rapidly. In all model variations, we observe that GMC-scale SFE correlates with the baryonic surface density of GMCs, consistent with previous studies of isolated GMCs. Additionally, we emphasize the critical role of galactic shear in regulating GMC-scale star formation and refine the correlation between local SFE and surface density by including its effects. These findings demonstrate how stellar feedback and galactic-scale dynamics jointly shape GMC-scale star formation in realistic galactic environments.

astro-ph.GA↗