System-level performance of coordinated multi-point transmission for heterogeneous networks in LTE-Advanced systems. - Xiaohan Lin; Shi Jin 002; Xiao Li 001; Xiqi Gao 001 (WCSP, 2012)

Dynamical information encoding in neural adaptation. - Luozheng Li; Wenhao Zhang 002; Yuanyuan Mi; Dahui Wang; Xiaohan Lin; Si Wu 001 (EMBC, 2016)

Neural Computations in a Dynamical System with Multiple Time Scales. - Yuanyuan Mi; Xiaohan Lin; Si Wu 001 (Frontiers Comput. Neurosci., 2016)

Spatiotemporal Information Processing with a Reservoir Decision-making Network. - Yuanyuan Mi; Xiaohan Lin; Xiaolong Zou; Zilong Ji; Tiejun Huang 001; Si Wu 001 (CoRR, 2019)

An Attention-Driven Two-Stage Clustering Method for Unsupervised Person Re-identification. - Zilong Ji; Xiaolong Zou; Xiaohan Lin; Xiao Liu; Tiejun Huang 001; Si Wu 001 (ECCV (28), 2020)

Barrier Function-Based Adaptive Neuro Network Sliding Mode Vibration Control for Flexible Double-Clamped Beams With Input Saturation. - Shilun Li; Ping He; Sing Kiong Nguang; Xiaohan Lin (IEEE Access, 2020)

Adaptive Tracking Control for Spacecraft Formation Flying System via Modified Fast Integral Terminal Sliding Mode Surface. - Xiaohan Lin; Xiaoping Shi; Shilun Li (IEEE Access, 2020)

Nonsingular Fast Terminal Adaptive Neuro-sliding Mode Control for Spacecraft Formation Flying Systems. - Xiaohan Lin; Xiaoping Shi; Shilun Li; Sing Kiong Nguang; Liruo Zhang (Complex., 2020)

Channel-Adaptive Quantization for Wireless Federated Learning. - Xiaohan Lin; Yuan Liu 001; Fangjiong Chen (ICCC, 2021)

A Just-In-Time Compilation Approach for Neural Dynamics Simulation. - Chaoming Wang; Yingqian Jiang; Xinyu Liu; Xiaohan Lin; Xiaolong Zou; Zilong Ji; Si Wu 001 (ICONIP (3), 2021)

Asymmetrical Barrier Function-Based Adaptive Vibration Control for Nonlinear Flexible Cantilever Beam With Obstacle Restriction. - Shilun Li; Ping He; Xiaohan Lin (IEEE Access, 2021)

A brain-inspired computational model for spatio-temporal information processing. - Xiaohan Lin; Xiaolong Zou; Zilong Ji; Tiejun Huang 001; Si Wu 001; Yuanyuan Mi (Neural Networks, 2021)

Slow and Weak Attractor Computation Embedded in Fast and Strong E-I Balanced Neural Dynamics. - Xiaohan Lin; Liyuan Li; Boxin Shi; Tiejun Huang 001; Yuanyuan Mi; Si Wu 001 (NeurIPS, 2023)

Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling. - Jun Zhang 071; Xiaohan Lin; Weinan E; Yi Qin Gao (CoRR, 2023)

DSDP: A Blind Docking Strategy Accelerated by GPUs. - Yupeng Huang; Hong Zhang 053; Siyuan Jiang; Dajiong Yue; Xiaohan Lin; Jun Zhang 071; Yi Qin Gao (J. Chem. Inf. Model., 2023)

Joint Gradient Sparsification and Device Scheduling for Federated Learning. - Xiaohan Lin; Yuan Liu 001; Fangjiong Chen; Xiaohu Ge; Yang Huang 001 (IEEE Trans. Green Commun. Netw., 2023)

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. - Yinya Huang; Xiaohan Lin; Zhengying Liu; Qingxing Cao; Huajian Xin; Haiming Wang; Zhenguo Li; Linqi Song; Xiaodan Liang (ICLR, 2024)

ATG: Benchmarking Automated Theorem Generation for Generative Language Models. - Xiaohan Lin; Qingxing Cao; Yinya Huang; Zhicheng Yang; Zhengying Liu; Zhenguo Li; Xiaodan Liang (NAACL-HLT (Findings), 2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. - Xiaohan Lin; Qingxing Cao; Yinya Huang; Haiming Wang; Jianqiao Lu; Zhengying Liu; Linqi Song; Xiaodan Liang (NeurIPS, 2024)

DSDPFlex: Flexible-Receptor Docking with GPU Acceleration. - Chengwei Dong; Yupeng Huang; Xiaohan Lin; Hong Zhang 053; Yi Qin Gao (J. Chem. Inf. Model., 2024)

Green space coverage versus air pollution: a cloud-based remote sensing data analysis in Sichuan, Western China. - Amin Naboureh; Ainong Li; Jinhu Bian; Guangbin Lei; Xi Nan; Zhengjian Zhang; Siavash Shami; Xiaohan Lin (Int. J. Digit. Earth, 2024)

ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models. - Zicheng Ma; Chuanliu Fan; Zhicong Wang; Zhenyu Chen; Xiaohan Lin; Yanheng Li; Shihao Feng; Ziqiang Cao; Jun Zhang 071; Yi Qin Gao (J. Chem. Inf. Model., 2025)

ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models. - Zicheng Ma; Chuanliu Fan; Zhicong Wang; Zhenyu Chen; Xiaohan Lin; Yanheng Li; Shihao Feng; Jun Zhang 069; Ziqiang Cao; Yi Qin Gao (CoRR, 2025)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

Cooperative D2D Partial Training for Wireless Federated Learning. - Xiaohan Lin; Yuan Liu 001; Fangjiong Chen (IEEE Internet Things J., 2025)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. - Junqi Liu; Xiaohan Lin; Jonas Bayer; Yael Dillies; Weijie Jiang; Xiaodan Liang; Roman Soletskyi; Haiming Wang; Yunzhou Xie; Beibei Xiong; Zhengfeng Yang; Jujian Zhang; et al. (CoRR, 2025)

Kimi K2: Open Agentic Intelligence. - Yifan Bai; Yiping Bao; Guanduo Chen; Jiahao Chen; Ningxin Chen; Ruijue Chen; Yanru Chen; Yuankun Chen; Yutian Chen; Zhuofu Chen; Jialei Cui; Hao Ding; et al. (CoRR, 2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean. - Chendong Song; Zihan Wang; Frederick Pu; Haiming Wang; Xiaohan Lin; Junqi Liu; Jia Li; Zhengying Liu (CoRR, 2025)