Xiaohan Lin

According to our database, Xiaohan Lin authored at least 19 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2024

ATG: Benchmarking Automated Theorem Generation for Generative Language Models.

Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Joint Gradient Sparsification and Device Scheduling for Federated Learning.

Xiaohan Lin, Yuan Liu, Fangjiong Chen, Xiaohu Ge, Yang Huang

IEEE Trans. Green Commun. Netw., September, 2023

DSDP: A Blind Docking Strategy Accelerated by GPUs.

Yupeng Huang, Hong Zhang, Siyuan Jiang, Dajiong Yue, Xiaohan Lin, Jun Zhang, Yi Qin Gao

J. Chem. Inf. Model., July, 2023

Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling.

Jun Zhang, Xiaohan Lin, Weinan E, Yi Qin Gao

CoRR, 2023

Slow and Weak Attractor Computation Embedded in Fast and Strong E-I Balanced Neural Dynamics.

Xiaohan Lin, Liyuan Li, Boxin Shi, Tiejun Huang, Yuanyuan Mi, Si Wu

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

A brain-inspired computational model for spatio-temporal information processing.

Xiaohan Lin, Xiaolong Zou, Zilong Ji, Tiejun Huang, Si Wu, Yuanyuan Mi

Neural Networks, 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 Just-In-Time Compilation Approach for Neural Dynamics Simulation.

Chaoming Wang, Yingqian Jiang, Xinyu Liu, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Si Wu

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Channel-Adaptive Quantization for Wireless Federated Learning.

Xiaohan Lin, Yuan Liu, Fangjiong Chen

Proceedings of the 10th IEEE/CIC International Conference on Communications in China, 2021

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

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

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

An Attention-Driven Two-Stage Clustering Method for Unsupervised Person Re-identification.

Zilong Ji, Xiaolong Zou, Xiaohan Lin, Xiao Liu, Tiejun Huang, Si Wu

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Spatiotemporal Information Processing with a Reservoir Decision-making Network.

Yuanyuan Mi, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Tiejun Huang, Si Wu

CoRR, 2019

2016

Neural Computations in a Dynamical System with Multiple Time Scales.

Yuanyuan Mi, Xiaohan Lin, Si Wu

Frontiers Comput. Neurosci., 2016

Dynamical information encoding in neural adaptation.

Luozheng Li, Wenhao Zhang, Yuanyuan Mi, Dahui Wang, Xiaohan Lin, Si Wu

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2012

System-level performance of coordinated multi-point transmission for heterogeneous networks in LTE-Advanced systems.

Xiaohan Lin, Shi Jin, Xiao Li, Xiqi Gao

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012