default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaohan Lin
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2026
[j13]Xiaohan Lin
, Yuan Liu, Fangjiong Chen:
Rethinking Outage in Federated Learning: An Adaptive Retransmission Design. IEEE Trans. Wirel. Commun. 25: 5970-5985 (2026)- 2025
- [j12]Xiaohan Lin, Yuan Liu, Fangjiong Chen:
Cooperative D2D Partial Training for Wireless Federated Learning. IEEE Internet Things J. 12(7): 8712-8724 (2025) - [j11]Zicheng Ma, Chuanliu Fan, Zhicong Wang, Zhenyu Chen, Xiaohan Lin, Yanheng Li, Shihao Feng, Ziqiang Cao, Jun Zhang, Yi Qin Gao:
ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models. J. Chem. Inf. Model. 65(13): 6599-6612 (2025) - [i11]Zicheng Ma, Chuanliu Fan, Zhicong Wang, Zhenyu Chen, Xiaohan Lin, Yanheng Li, Shihao Feng, Jun Zhang, Ziqiang Cao, Yi Qin Gao:
ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models. CoRR abs/2503.08179 (2025) - [i10]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é, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li:
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. CoRR abs/2504.11354 (2025) - [i9]Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu:
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. CoRR abs/2505.03171 (2025) - [i8]Yifan Bai, Yiping Bao, Guanduo Chen, Jiahao Chen, Ningxin Chen, Ruijue Chen, Yanru Chen, Yuankun Chen, Yutian Chen, Zhuofu Chen, Jialei Cui, Hao Ding, Mengnan Dong, Angang Du, Chenzhuang Du, Dikang Du, Yulun Du, Yu Fan, Yichen Feng, Kelin Fu, Bofei Gao, Hongcheng Gao, Peizhong Gao, Tong Gao, Xinran Gu, Longyu Guan, Haiqing Guo, Jianhang Guo, Hao Hu, Xiaoru Hao, Tianhong He, Weiran He, Wenyang He, Chao Hong, Yangyang Hu, Zhenxing Hu, Weixiao Huang, Zhiqi Huang, Zihao Huang, Tao Jiang, Zhejun Jiang, Xinyi Jin, Yongsheng Kang, Guokun Lai, Cheng Li, Fang Li, Haoyang Li, Ming Li, Wentao Li, Yanhao Li, Yiwei Li, Zhaowei Li, Zheming Li, Hongzhan Lin, Xiaohan Lin, Zongyu Lin, Chengyin Liu, Chenyu Liu, Hongzhang Liu, Jingyuan Liu, Junqi Liu, Liang Liu, Shaowei Liu, T. Y. Liu, Tianwei Liu, Weizhou Liu, Yangyang Liu, Yibo Liu, Yiping Liu, Yue Liu, Zhengying Liu, Enzhe Lu, Lijun Lu, Shengling Ma, Xinyu Ma, Yingwei Ma, Shaoguang Mao, Jie Mei, Xin Men, Yibo Miao, Siyuan Pan, Yebo Peng, Ruoyu Qin, Bowen Qu, Zeyu Shang, Lidong Shi, Shengyuan Shi, Feifan Song, Jianlin Su, Zhengyuan Su, Xinjie Sun, Flood Sung, Heyi Tang, Jiawen Tao, Qifeng Teng, Chensi Wang, Dinglu Wang, Feng Wang, Haiming Wang:
Kimi K2: Open Agentic Intelligence. CoRR abs/2507.20534 (2025) - [i7]Chendong Song, Zihan Wang, Frederick Pu, Haiming Wang, Xiaohan Lin, Junqi Liu, Jia Li, Zhengying Liu:
LeanGeo: Formalizing Competitional Geometry problems in Lean. CoRR abs/2508.14644 (2025) - 2024
- [j10]Amin Naboureh, Ainong Li, Jinhu Bian, Guangbin Lei, Xi Nan, Zhengjian Zhang, Siavash Shami, Xiaohan Lin:
Green space coverage versus air pollution: a cloud-based remote sensing data analysis in Sichuan, Western China. Int. J. Digit. Earth 17(1) (2024) - [j9]Chengwei Dong, Yupeng Huang, Xiaohan Lin, Hong Zhang, Yi Qin Gao:
DSDPFlex: Flexible-Receptor Docking with GPU Acceleration. J. Chem. Inf. Model. 64(22): 8537-8548 (2024) - [c9]Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR 2024 - [c8]Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang:
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. NAACL-HLT (Findings) 2024: 4465-4480 - [c7]Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang:
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. NeurIPS 2024 - [i6]Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR abs/2402.08957 (2024) - [i5]Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang:
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR abs/2405.06677 (2024) - [i4]Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang:
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR abs/2406.14408 (2024) - 2023
- [j8]Yupeng Huang, Hong Zhang, Siyuan Jiang, Dajiong Yue, Xiaohan Lin, Jun Zhang, Yi Qin Gao:
DSDP: A Blind Docking Strategy Accelerated by GPUs. J. Chem. Inf. Model. 63(14): 4355-4363 (2023) - [j7]Xiaohan Lin, Yuan Liu, Fangjiong Chen, Xiaohu Ge, Yang Huang:
Joint Gradient Sparsification and Device Scheduling for Federated Learning. IEEE Trans. Green Commun. Netw. 7(3): 1407-1419 (2023) - [c6]Xiaohan Lin, Liyuan Li, Boxin Shi, Tiejun Huang, Yuanyuan Mi, Si Wu:
Slow and Weak Attractor Computation Embedded in Fast and Strong E-I Balanced Neural Dynamics. NeurIPS 2023 - [i3]Yupeng Huang, Hong Zhang, Siyuan Jiang, Dajiong Yue, Xiaohan Lin, Jun Zhang, Yi Qin Gao:
DSDP: A Blind Docking Strategy Accelerated by GPUs. CoRR abs/2303.09916 (2023) - [i2]Jun Zhang, Xiaohan Lin, Weinan E, Yi Qin Gao:
Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling. CoRR abs/2305.01243 (2023) - 2021
- [j6]Shilun Li, Ping He, Xiaohan Lin:
Asymmetrical Barrier Function-Based Adaptive Vibration Control for Nonlinear Flexible Cantilever Beam With Obstacle Restriction. IEEE Access 9: 58306-58318 (2021) - [j5]Xiaohan Lin, Xiaolong Zou, Zilong Ji, Tiejun Huang, Si Wu, Yuanyuan Mi:
A brain-inspired computational model for spatio-temporal information processing. Neural Networks 143: 74-87 (2021) - [c5]Xiaohan Lin, Yuan Liu, Fangjiong Chen:
Channel-Adaptive Quantization for Wireless Federated Learning. ICCC 2021: 457-462 - [c4]Chaoming Wang, Yingqian Jiang, Xinyu Liu, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Si Wu:
A Just-In-Time Compilation Approach for Neural Dynamics Simulation. ICONIP (3) 2021: 15-26 - 2020
- [j4]Shilun Li, Ping He, Sing Kiong Nguang, Xiaohan Lin:
Barrier Function-Based Adaptive Neuro Network Sliding Mode Vibration Control for Flexible Double-Clamped Beams With Input Saturation. IEEE Access 8: 125887-125898 (2020) - [j3]Xiaohan Lin, Xiaoping Shi, Shilun Li:
Adaptive Tracking Control for Spacecraft Formation Flying System via Modified Fast Integral Terminal Sliding Mode Surface. IEEE Access 8: 198357-198367 (2020) - [j2]Xiaohan Lin, Xiaoping Shi, Shilun Li, Sing Kiong Nguang, Liruo Zhang:
Nonsingular Fast Terminal Adaptive Neuro-sliding Mode Control for Spacecraft Formation Flying Systems. Complex. 2020: 5875191:1-5875191:15 (2020) - [c3]Zilong Ji, Xiaolong Zou, Xiaohan Lin, Xiao Liu, Tiejun Huang, Si Wu:
An Attention-Driven Two-Stage Clustering Method for Unsupervised Person Re-identification. ECCV (28) 2020: 20-36
2010 – 2019
- 2019
- [i1]Yuanyuan Mi, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Tiejun Huang, Si Wu:
Spatiotemporal Information Processing with a Reservoir Decision-making Network. CoRR abs/1907.12071 (2019) - 2016
- [j1]Yuanyuan Mi, Xiaohan Lin, Si Wu:
Neural Computations in a Dynamical System with Multiple Time Scales. Frontiers Comput. Neurosci. 10: 96 (2016) - [c2]Luozheng Li, Wenhao Zhang, Yuanyuan Mi, Dahui Wang, Xiaohan Lin, Si Wu:
Dynamical information encoding in neural adaptation. EMBC 2016: 3060-3063 - 2012
- [c1]Xiaohan Lin, Shi Jin, Xiao Li, Xiqi Gao:
System-level performance of coordinated multi-point transmission for heterogeneous networks in LTE-Advanced systems. WCSP 2012: 1-5
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-29 02:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
