Publications (52)
Integrable properties of the differential-difference Kadomtsev-Petviashvili hierarchy and continuum limits
Wei Fu, Lin Huang, K. M. Tamizhmani +1
The paper reveals clear links between the differential-difference Kadomtsev-Petviashvili hierarchy and the (continuous) Kadomtsev-Petviashvili hierarchy, together with their symmet…
YOLOCS: Object Detection based on Dense Channel Compression for Feature Spatial Solidification
Lin Huang, Weisheng Li, Yujuan Tan +3
In this study, we examine the associations between channel features and convolutional kernels during the processes of feature purification and gradient backpropagation, with a focu…
Masked adversarial neural network for cell type deconvolution in spatial transcriptomics
Lin Huang, Xiaofei Liu, Shunfang Wang +1
Accurately determining cell type composition in disease-relevant tissues is crucial for identifying disease targets. Most existing spatial transcriptomics (ST) technologies cannot…
How Secure is Your Website? A Comprehensive Investigation on CAPTCHA Providers and Solving Services
Rui Jin, Lin Huang, Jikang Duan +3
Completely Automated Public Turing Test To Tell Computers and Humans Apart (CAPTCHA) has been implemented on many websites to identify between harmful automated bots and legitimate…
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
Yuwei Liu, Xinyi Wan, Yanhao Wang +3
Formal verification provides the highest assurance of software correctness and security, but its application to large-scale, evolving systems remains a major challenge. While large…
Long-time asymptotics of the Tzitzéica equation on the line
Lin Huang, Deng-Shan Wang, Xiaodong Zhu
In this paper, the renowned Riemann-Hilbert method is employed to investigate the initial value problem of Tzitzéica equation on the line. Initially, our analysis focuses on eluci…
Infusing Self-Consistency into Density Functional Theory Hamiltonian Prediction via Deep Equilibrium Models
Zun Wang, Chang Liu, Nianlong Zou +5
In this study, we introduce a unified neural network architecture, the Deep Equilibrium Density Functional Theory Hamiltonian (DEQH) model, which incorporates Deep Equilibrium Mode…
Nonlinear Fourier transforms for the sine-Gordon equation in the quarter plane
Lin Huang, Jonatan Lenells
The solution of the sine-Gordon equation in the quarter plane can be expressed in terms of the solution of a matrix Riemann-Hilbert problem whose definition involves four spectral…
Enhancing the Scalability and Applicability of Kohn-Sham Hamiltonians for Molecular Systems
Yunyang Li, Zaishuo Xia, Lin Huang +8
Density Functional Theory (DFT) is a pivotal method within quantum chemistry and materials science, with its core involving the construction and solution of the Kohn-Sham Hamiltoni…
YOLOSA: Object detection based on 2D local feature superimposed self-attention
Weisheng Li, Lin Huang
We analyzed the network structure of real-time object detection models and found that the features in the feature concatenation stage are very rich. Applying an attention module he…
Evolution of magnetic phase in two dimensional van der Waals MnNiPS single crystals
Ziye Lu, Xinyu Yang, Lin Huang +5
Metal thio(seleno)phosphates MPX have attracted considerable attentions with wide spanned band gaps and rich magnetic properties. In this series, two neighboring members MnPS$_…
Antiferromagnetic magnonic charge current generation via ultrafast optical excitation
Lin Huang, Liyang Liao, Hongsong Qiu +9
Néel spin-orbit torque allows a charge current pulse to efficiently manipulate the Néel vector in antiferromagnets, which offers a unique opportunity for ultrahigh density inform…
Temperature gradient-driven motion of magnetic domains in a magnetic metal multilayer by entropic forces
Lin Huang, Joseph Barker, Lekshmi Kailas +4
We studied the displacement of magnetic domains under temperature gradients in perpendicularly magnetized Ta/[Pt/CoB/Ir]/Pt multilayer tracks with micro…
Construction of solutions and asymptotics for the sine-Gordon equation in the quarter plane
Lin Huang, Jonatan Lenells
We consider the sine-Gordon equation in laboratory coordinates in the quarter plane. The first part of the paper considers the construction of solutions via Riemann-Hilbert techniq…
HarnessLLM: Rust Verification Harness Generation with Large Language Models
Minghua Wang, Yuwei Liu, Lin Huang
Rust's ownership model and type system offer strong memory safety guarantees, but unsafe code and runtime panics still present significant risks. Formal verification is essential t…
Neural Voting Field for Camera-Space 3D Hand Pose Estimation
Lin Huang, Chung-Ching Lin, Kevin Lin +4
We present a unified framework for camera-space 3D hand pose estimation from a single RGB image based on 3D implicit representation. As opposed to recent works, most of which first…
E2Former-V2: On-the-Fly Equivariant Attention with Linear Activation Memory
Lin Huang, Chengxiang Huang, Ziang Wang +7
Equivariant Graph Neural Networks (EGNNs) have become a widely used approach for modeling 3D atomistic systems. However, mainstream architectures face critical scalability bottlene…
MeDocVL: A Visual Language Model for Medical Document Understanding and Parsing
Wenjie Wang, Wei Wu, Ying Liu +10
Medical document OCR is challenging due to complex layouts, domain-specific terminology, and noisy annotations, while requiring strict field-level exact matching. Existing OCR syst…
Accurate and scalable exchange-correlation with deep learning
Giulia Luise, Chin-Wei Huang, Thijs Vogels +25
Density Functional Theory (DFT) underpins much of modern computational chemistry and materials science. Yet, the reliability of DFT-derived predictions of experimentally measurable…
Asymptotics for the Sasa--Satsuma equation in terms of a modified Painlevé II transcendent
Lin Huang, Jonatan Lenells
We consider the initial-value problem for the Sasa-Satsuma equation on the line with decaying initial data. Using a Riemann-Hilbert formulation and steepest descent arguments, we c…
Efficient and Scalable Density Functional Theory Hamiltonian Prediction through Adaptive Sparsity
Erpai Luo, Xinran Wei, Lin Huang +7
Hamiltonian matrix prediction is pivotal in computational chemistry, serving as the foundation for determining a wide range of molecular properties. While SE(3) equivariant graph n…
Poisson Receivers: a Probabilistic Framework for Analyzing Coded Random Access
Che-Hao Yu, Lin Huang, Cheng-Shang Chang +1
In this paper, we develop a probabilistic framework for analyzing coded random access. Our framework is based on a new abstract receiver (decoder), called a Poisson receiver, that…
Dynamic Relation Discovery and Utilization in Multi-Entity Time Series Forecasting
Lin Huang, Lijun Wu, Jia Zhang +2
Time series forecasting plays a key role in a variety of domains. In a lot of real-world scenarios, there exist multiple forecasting entities (e.g. power station in the solar syste…
Accelerating Locality-Driven Integration in Quantum Chemistry with Block-Structured Matrix Multiplication
Xinran Wei, Yan Pan, Fusong Ju +8
Locality-driven integration is a pervasive computational pattern in quantum chemistry, arising whenever spatially localized basis functions interact through numerical quadrature or…
Physical Consistency Bridges Heterogeneous Data in Molecular Multi-Task Learning
Yuxuan Ren, Dihan Zheng, Chang Liu +7
In recent years, machine learning has demonstrated impressive capability in handling molecular science tasks. To support various molecular properties at scale, machine learning mod…
Interface-enhanced ferromagnetism with long-distance effect in van der Waals semiconductor
Wenxuan Zhu, Cheng Song, Lei Han +6
Ferromagnetic semiconductors discovered in two-dimensional (2D) materials open an avenue for highly integrated and multifunctional spintronics. The Curie temperature (TC) of existe…
Magnon-mediated interlayer coupling in an all-antiferromagnetic junction
Yongjian Zhou, Liyang Liao, Xiaofeng Zhou +12
The interlayer coupling mediated by fermions in ferromagnets brings about parallel and anti-parallel magnetization orientations of two magnetic layers, resulting in the giant magne…
High-Performance Fine Defect Detection in Artificial Leather Using Dual Feature Pool Object Detection
Lin Huang, Weisheng Li, Yujuan Tan +2
In this study, the structural problems of the YOLOv5 model were analyzed emphatically. Based on the characteristics of fine defects in artificial leather, four innovative structure…
Long-Short-Range Message-Passing: A Physics-Informed Framework to Capture Non-Local Interaction for Scalable Molecular Dynamics Simulation
Yunyang Li, Yusong Wang, Lin Huang +7
Computational simulation of chemical and biological systems using ab initio molecular dynamics has been a challenge over decades. Researchers have attempted to address the problem…
Manipulating THz Spin Current Dynamics by the Dzyaloshinskii-Moriya Interaction in Antiferromagnetic Hematite
Hongsong Qiu, Tom Sebastian Seifert, Lin Huang +12
An important vision of modern magnetic research is to use antiferromagnets as controllable and active ultrafast components in spintronic devices. Hematite is a promising model mate…
Scalable Machine Learning Force Fields for Macromolecular Systems Through Long-Range Aware Message Passing
Chu Wang, Lin Huang, Xinran Wei +4
Machine learning force fields (MLFFs) have revolutionized molecular simulations by providing quantum mechanical accuracy at the speed of molecular mechanical computations. However,…
YOLO-PRO: Enhancing Instance-Specific Object Detection with Full-Channel Global Self-Attention
Lin Huang, Yujuan Tan, Weisheng Li +5
This paper addresses the inherent limitations of conventional bottleneck structures (diminished instance discriminability due to overemphasis on batch statistics) and decoupled hea…
AF: Adaptive Focus Framework for Aerial Imagery Segmentation
Lin Huang, Qiyuan Dong, Lijun Wu +3
As a specific semantic segmentation task, aerial imagery segmentation has been widely employed in high spatial resolution (HSR) remote sensing images understanding. Besides common…
Complexity in linearly coupled dynamical networks: Some unusual phenomena in energy accumulation
Zhisheng Duan, Jinzhi Wang, Guanrong Chen +1
This paper addresses the energy accumulation problem, in terms of the norm, of linearly coupled dynamical networks. An interesting outer-coupling relationship is constructed,…
Disconnected synchronized regions of complex dynamical networks
Zhisheng Duan, Guanrong Chen, Lin Huang
This paper addresses the synchronized region problem, which is reduced to a matrix stability problem, for complex dynamical networks. For any natural number , the existence of a…
E2Former: An Efficient and Equivariant Transformer with Linear-Scaling Tensor Products
Yunyang Li, Lin Huang, Zhihao Ding +10
Equivariant Graph Neural Networks (EGNNs) have demonstrated significant success in modeling microscale systems, including those in chemistry, biology and materials science. However…
UBio-MolFM: A Universal Molecular Foundation Model for Bio-Systems
Lin Huang, Arthur Jiang, XiaoLi Liu +8
All-atom molecular simulation serves as a quintessential ``computational microscope'' for understanding the machinery of life, yet it remains fundamentally limited by the trade-off…
Analysis and control of network synchronizability
Zhisheng Duan, Guanrong Chen, Lin Huang
In this paper, the investigation is first motivated by showing two examples of simple regular symmetrical graphs, which have the same structural parameters, such as average distanc…
Dichromatic breather molecules in a mode-locked fiber laser
Yudong Cui1, Yusheng Zhang, Lin Huang +7
Bound states of solitons (molecules) occur in various settings, playing an important role in the operation of fiber lasers, optical emulations, encoding, and communications. Solito…
Elign: Equivariant Diffusion Model Alignment from Foundational Machine Learning Force Fields
Yunyang Li, Lin Huang, Luojia Xia +2
Generative models for 3D molecular conformations must respect Euclidean symmetries and concentrate probability mass on thermodynamically favorable, mechanically stable structures.…
A Fast Radio Burst discovered in FAST drift scan survey
Weiwei Zhu, Di Li, Rui Luo +67
We report the discovery of a highly dispersed fast radio burst, FRB~181123, from an analysis of 1500~hr of drift-scan survey data taken using the Five-hundred-meter Aperture…
Team PA-VCG's Solution for Competition on Understanding Chinese College Entrance Exam Papers in ICDAR'25
Wei Wu, Wenjie Wang, Yang Tan +6
This report presents Team PA-VGG's solution for the ICDAR'25 Competition on Understanding Chinese College Entrance Exam Papers. In addition to leveraging high-resolution image proc…
Ai2-Kit: Streamlining AI-Accelerated Ab Initio Workflows for Complex Chemical Systems
Sheng Bi, Wei-Hong Xu, Yong-Bin Zhuang +47
The paper introduces ai2-kit, a software toolkit that streamlines AI‑accelerated ab initio workflows for complex chemical systems by providing command‑line and Python interfaces fo…
The Existence of Diagonal Quantum Latin Squares with Maximum Cardinality
Lin Huang, Yang Li
A quantum Latin square of order \(n\), denoted by \(\operatorname{QLS}(n)\), is an \(n \times n\) square whose entries are unit column vectors in the \(n\)-dimensional Hilbert spac…
PSR J1926-0652: A Pulsar with Interesting Emission Properties Discovered at FAST
Lei Zhang, Di Li, George Hobbs +59
We describe PSR J1926-0652, a pulsar recently discovered with the Five-hundred-meter Aperture Spherical radio Telescope (FAST). Using sensitive single-pulse detections from FAST an…
Laboratory Studies on the Carbon Kinetic Isotope Effects on the Production Mechanism of Particulate Phenolic Compounds Formed by Toluene Photooxidation: A Tool to Constrain Reaction Pathways
Satoshi Irei, Jochen Rudolph, Lin Huang +3
Compound-specific stable carbon isotope ratios for phenolic compounds in secondary particulate organic matter (POM) formed by photooxidation of toluene were studied. Secondary POM…
KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
Minghua Wang, Yuxi Ling, Mingzhi Gao +2
Rust's ownership and type system provide strong memory safety guarantees, but unsafe code still presents memory safety risks. Formal verification is crucial for ensuring memory saf…
YOLO-DS: Fine-Grained Feature Decoupling via Dual-Statistic Synergy Operator for Object Detection
Lin Huang, Yujuan Tan, Weisheng Li +6
One-stage object detection, particularly the YOLO series, strikes a favorable balance between accuracy and efficiency. However, existing YOLO detectors lack explicit modeling of he…
Acceleration without Disruption: DFT Software as a Service
Fusong Ju, Xinran Wei, Lin Huang +13
Density functional theory (DFT) has been a cornerstone in computational chemistry, physics, and materials science for decades, benefiting from advancements in computational power a…
L2 norm performance index of synchronization and optimal control synthesis of complex networks
Chao Liu, Zhisheng Duan, Guanrong Chen +1
In this paper, the synchronizability problem of dynamical networks is addressed, where better synchronizability means that the network synchronizes faster with lower-overshoot. The…
Neural Correspondence Field for Object Pose Estimation
Lin Huang, Tomas Hodan, Lingni Ma +7
We propose a method for estimating the 6DoF pose of a rigid object with an available 3D model from a single RGB image. Unlike classical correspondence-based methods which predict 3…
Higher order Airy and Painlevé asymptotics for the mKdV hierarchy
Lin Huang, Lun Zhang
In this paper, we consider Cauchy problem for the modified Korteweg-de Vries hierarchy on the real line with decaying initial data. Using the Riemann--Hilbert formulation and nonli…