![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Xiaohan 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
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c7]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 - [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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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 2024-07-30 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint