Publications (167)
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Li Huang, Eun-Young Kang
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
Eun-Young Kang, Li Huang
Quasiparticle multiplets and 5f electronic correlation in prototypical plutonium borides
Haiyan Lu, Li Huang
Pseudoscalar pair production via off-shell Higgs in composite Higgs models
Diogo Buarque Franzosi, Gabriele Ferretti, Li Huang +1
Model-based Verification and Validation of an Autonomous Vehicle System
Eun-Young Kang, Dongrui Mu, Li Huang +1
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
Barycentric rational function approximation made simple: A fast analytic continuation method for Matsubara Green's functions
Li Huang, Changming Yue
Implementing the inverse type-II seesaw mechanism into the 3-3-1 model
Carlos Antônio de Sousa Pires, Felipe Ferreira de Freitas, Jing Shu +2
Portraying Double Higgs at the Large Hadron Collider II
Li Huang, Su-beom Kang, Jeong Han Kim +2
A Promising Interpretation of Diphoton Resonance at 750 GeV
Xiao-Jun Bi, Ran Ding, Yizhou Fan +6
Temperature-driven hidden 5f itinerant-localized crossover in heavy-fermion compound PuIn3
Haiyan Lu, Li Huang
Reexaming the ground state and magnetic properties of curium dioxide
Li Huang, Ruofan Chen, Haiyan Lu
Seeding Contradiction: a fast method for generating full-coverage test suites
Li Huang, Bertrand Meyer, Manuel Oriol
Pressure-Driven Orbital Selective Insulator to Metal Transition and Spin State Crossover in Cubic CoO
Li Huang, Yilin Wang, Xi Dai
Correlated electrons of the flat band in charge density wave state of 4Hb-TaSexS2-x
Yanyan Geng, Jianfeng Guo, Fanyu Meng +12
Novel correlated 5f electronic states in cubic AnSn3 (An=U, Np, Pu) intermetallics
Haiyan Lu, Li Huang
Pressure-Driven 5$f$ Localized-Itinerant Transition and Valence Fluctuation in Californium
Li Huang, Haiyan Lu
Natural Orbital-Based Lanczos Method for Anderson Impurity Models
Sheng Bi, Li Huang, Ning-Hua Tong
$i$QIST v0.7: An open source continuous-time quantum Monte Carlo impurity solver toolkit
Li Huang
Human-Level Control through Directly-Trained Deep Spiking Q-Networks
Guisong Liu, Wenjie Deng, Xiurui Xie +2
Electronic structure of cerium: A comprehensive first-principles study
Li Huang, Haiyan Lu
MoRA: On-the-fly Molecule-aware Low-Rank Adaptation Framework for LLM-based Multi-Modal Molecular Assistant
Tao Yin, Xiaohong Zhang, Jiacheng Zhang +5
ACTest: A testing toolkit for analytic continuation methods and codes
Li Huang
KINNEWS and KIRNEWS: Benchmarking Cross-Lingual Text Classification for Kinyarwanda and Kirundi
Rubungo Andre Niyongabo, Hong Qu, Julia Kreutzer +1
Magnetic order induced polarization anomaly of Raman scattering in 2D magnet CrI$_3$
Yujun Zhang, Xiaohua Wu, BingBing Lv +16
Systematic Study of Diphoton Resonance at 750 GeV from Sgoldstino
Ran Ding, Yizhou Fan, Li Huang +4
Resolving Combinatorial Ambiguities in Dilepton $t \bar t$ Event Topologies with Neural Networks
Haider Alhazmi, Zhongtian Dong, Li Huang +3
Accelerate Monte Carlo Simulations with Restricted Boltzmann Machines
Li Huang, Lei Wang
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems
Li Huang, Eun-Young Kang
M-RAG: Semantic Key-Value Indexing for Retrieval-Augmented Generation
Xu Sun, Sun Xu, Tongkai Xu +4
Building spin-1/2 antiferromagnetic Heisenberg chains with diaza-nanographenes
Xiaoshuai Fu, Li Huang, Kun Liu +13
Pressure-controlled Structural Symmetry Transition in Layered InSe
Huimin Su, Xuan Liu, Chengrong Wei +14
Nature of the 5$f$ electronic structure of plutonium
Li Huang, Haiyan Lu
Two distinct superconducting states controlled by orientation of local wrinkles in LiFeAs
Lu Cao, Wenyao Liu, Geng Li +14
Intention Chain-of-Thought Prompting with Dynamic Routing for Code Generation
Shen Li, Li Huang, Shaoxiong Zhan +4
Experimental demonstration of terahertz metamaterial absorbers with a broad and flat high absorption band
Li Huang, Dibakar Roy Chowdhury, Suchitra Ramani +4
Mg$_{3+δ}$Sb$_x$Bi$_{2-x}$ family: A promising substitute for the start-of-art n-type thermoelectric materials near room temperature
Rui Shu, Yecheng Zhou, Qi Wang +10
Ultrafast μeV-Precision Bandgap Engineering in Low-Dimensional Topological Insulators
Peng Tan, Yuantao Chen, Yuqi Zhang +14
Targeted Drug Delivery: Algorithmic Methods for Collecting a Swarm of Particles with Uniform External Forces
Aaron T. Becker, Sándor P. Fekete, Li Huang +5
AgentOmnia: Scaling Agentic Models for Full-Scenario Applications
Hao Jiang, Gangtao Xin, Yingdi Huang +35
Electronic excitation spectra of the five-orbital Anderson impurity model: From the atomic limit to itinerant atomic magnetism
Li Huang, Tim O. Wehling, Philipp Werner
Orbital-Selective Mott Transition and Evolution of the Zhang-Rice State in Cubic Phase UO$_{2}$ Under Pressure
Li Huang, Yilin Wang, Philipp Werner
ScatterAD: Temporal-Topological Scattering Mechanism for Time Series Anomaly Detection
Tao Yin, Xiaohong Zhang, Shaochen Fu +5
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Li Huang, Tian Liang, Eun-Young Kang
OmniTabBench: Mapping the Empirical Frontiers of GBDTs, Neural Networks, and Foundation Models for Tabular Data at Scale
Dihong Jiang, Ruoqi Cao, Zhiyuan Dang +8
Naturalness Sum Rules and Their Collider Tests
Csaba Csáki, Felipe Ferreira De Freitas, Li Huang +3
Intrinsic Quantum Clusters in Kagome Weyl Semimetal Co3Sn2S2
Yuqing Xing, Hui Chen, Li Huang +7
Intertwined atomic-nanoscale-microscale structures via intralayer anisotropic Fe-chains in the layered ferromagnet FePd2Te2
Manyu Wang, Chang Li, Bingxian Shi +12
Combining Tests and Proofs for Better Software Verification
Li Huang, Bertrand Meyer, Manuel Oriol
Epitaxial Growth of Large-area Bilayer Graphene on Ru(0001)
Yande Que, Wende Xiao, Xiangmin Fei +4
High-Performance and Low-Power Sub-5 nm Field-Effect Transistors Based on 7-9-7-AGNR
Hang Guo, Xian Zhang, Shuai Chen +3
Real-Time Anchor-Free Single-Stage 3D Detection with IoU-Awareness
Runzhou Ge, Zhuangzhuang Ding, Yihan Hu +4
Emergent Electronic Kagome Lattice in Correlated Charge-Density-Wave State of 1T-TaS$_2$
Haoyu Dong, Peihan Sun, Le Lei +13
Protracted Kondo screening and kagome bands in heavy-fermion metal Ce$_{3}$Al
Li Huang, Haiyan Lu
Transition metals doped CuAlSe2 for promising intermediate band materials
Tingting Wang, Xiaoguang Li, Wenjie Li +5
Discovery and construction of surface kagome electronic states induced by p-d electronic hybridization
Li Huang, Xianghua Kong, Qi Zheng +17
Loop unrolling: formal definition and application to testing
Li Huang, Bertrand Meyer, Reto Weber
Energetics of point defects in aluminum via orbital-free density functional theory
Ruizhi Qiu, Haiyan Lu, Bingyun Ao +3
Probing phonon chirality and circular lattice motion with symmetry-selective nonlinear optical spectroscopy
Yuhan Wang, Yuxuan Wei, Li Huang +1
Sliding Engineering Spin-Valley-Layer Coupling and Altermagnetism in Bilayer Antiferromagnetic Honeycomb Lattices
Wen-Xin Jiang, Zhen-Hao Gong, Yuantao Chen +2
Separation of inverse spin Hall effect and anomalous Nernst effect in ferromagnetic metals
Hao Wu, Xiao Wang, Li Huang +5
Unraveling exotic 5$f$ states and paramagnetic phase of PuSn$_3$
Haiyan Lu, Li Huang
Intrinsic Moiré Higher-Order Topology Beyond Effective Moiré Lattice Models
Xianliang Zhou, Yifan Gao, Laiyuan Su +5
Graphene-Silicon Layered Structures on Single-crystalline Ir(111) Thin Films
Yande Que, Yong Zhang, Yeliang Wang +12
Advancing Event Causality Identification via Heuristic Semantic Dependency Inquiry Network
Haoran Li, Qiang Gao, Hongmei Wu +1
Signatures of Hundness in Kagome Metals
Li Huang, Haiyan Lu
E3RG: Building Explicit Emotion-driven Empathetic Response Generation System with Multimodal Large Language Model
Ronghao Lin, Shuai Shen, Weipeng Hu +5
Local excitation of kagome spin ice magnetism in HoAgGe seen by scanning tunneling microscopy
Hanbin Deng, Tianyu Yang, Guowei Liu +20
LoAdaBoost: loss-based AdaBoost federated machine learning with reduced computational complexity on IID and non-IID intensive care data
Li Huang, Yifeng Yin, Zeng Fu +3
AMSnet 2.0: A Large AMS Database with AI Segmentation for Net Detection
Yichen Shi, Zhuofu Tao, Yuhao Gao +5
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Eun-Young Kang, Dongrui Mu, Li Huang
$i$QIST: An open source continuous-time quantum Monte Carlo impurity solver toolkit
Li Huang, Yilin Wang, Zi Yang Meng +3
Atomically-precise engineering of spin-orbit polarons in a kagome magnetic Weyl semimetal
Hui Chen, Yuqing Xing, Hengxin Tan +15
New implementation of hybridization expansion quantum impurity solver based on Newton-Leja interpolation polynomial
Li Huang, Xi Dai
Tracing quasiparticle dynamics and hybridization dynamics in PuCoGa5
Li Huang, Haiyan Lu
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Eun-Young Kang, Li Huang, Dongrui Mu
Dynamical screening in strongly correlated metal SrVO3
Li Huang, Yilin Wang
Impact of resonator geometry and its coupling with ground plane on ultrathin metamaterial perfect absorbers
Li Huang, Dibakar Roy Chowdhury, Suchitra Ramani +5
Unraveling the 4f electronic structures of cerium monopnictides
Haiyan Lu, Li Huang
Effective Coulomb interaction in actinides from linear response approach
Ruizhi Qiu, Bingyun Ao, Li Huang
Localized spin-orbit polaron in magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$
Yuqing Xing, Jianlei Shen, Hui Chen +22
Metal-insulator transition in three-band Hubbard model with strong spin-orbit interaction
Liang Du, Li Huang, Xi Dai
Induced effects by the substitution of Zn in Cu2ZnSnX4 (X = S and Se)
Guohua Zhong, Kinfai Tse, Yiou Zhang +7
Dynamical Screening Effect on Local Two-Particle Vertex Functions
Li Huang, Yilin Wang
Collapse of quasiparticle multiplets and $5f$ itinerant-localized crossovers in cubic phase Pu$_{3}$Ga
Li Huang, Haiyan Lu
A Failed Proof Can Yield a Useful Test
Li Huang, Bertrand Meyer
Web-Scale Responsive Visual Search at Bing
Houdong Hu, Yan Wang, Linjun Yang +7
SearchArt: Training Long-Horizon Search Agent with Scalable Synthetic and Verified Task
Lang Mei, Xiaohan Yu, Chong Chen +26
Topological surface electronic states in candidate nodal-line semimetal CaAgAs
Xiao-Bo Wang, Xiao-Ming Ma, Eve Emmanouilidou +10
Atomic to mesoscale hierarchical structures and magnetic states in an anisotropic layered ferromagnet FePd2Te2
Shuo Mi, Manyu Wang, Bingxian Shi +11
Chemical reaction mechanism of pre-curing process of two-component adhesive based on deformation behavior for automobile hood
Jia Li, Jiao Li, Li Huang +2
AMSNet: Netlist Dataset for AMS Circuits
Zhuofu Tao, Yichen Shi, Yiru Huo +8
Orbital-selective thermalization plateau in the mass imbalanced Hubbard model
Liang Du, Li Huang, Gregory A. Fiete
Modelling China's Credit System with Complex Network Theory for Systematic Credit Risk Control
Xuan Lu, Li Huang, Kangjuan Lyu
AI Pangaea: Unifying Intelligence Islands for Adapting Myriad Tasks
Jianlong Chang, Haixin Wang, Zhiyuan Dang +11
1st Place Solution for Waymo Open Dataset Challenge -- 3D Detection and Domain Adaptation
Zhuangzhuang Ding, Yihan Hu, Runzhou Ge +4
Strong Field Optical Hall Effect in 2D Weyl Semimetal
M. Umar Farooq, Arqum Hashmi, Mizuki Tani +4
Common ($Ï$,$Ï$) Band Folding and Surface Reconstruction in FeAs-Based Superconductors
Yongqing Cai, Tao Xie, Huan Yang +17
Electroweak Restoration at the LHC and Beyond: The $Vh$ Channel
Li Huang, Samuel D. Lane, Ian M. Lewis +1