Xiaohan Lin

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 20

Top Topics

Neural Dynamics

Theorem Proving

Information Processing

Top Venues

J. Chem. Inf. Model.

Frontiers Comput. Neurosci.

Publications

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 (2024)
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)
Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR (2024)
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 (2024)
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) (2023)
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) (2023)
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)
Jun Zhang, Xiaohan Lin, Weinan E, Yi Qin Gao
Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling. CoRR (2023)
Yupeng Huang, Hong Zhang, Siyuan Jiang, Dajiong Yue, Xiaohan Lin, Jun Zhang, Yi Qin Gao
DSDP: A Blind Docking Strategy Accelerated by GPUs. CoRR (2023)
Shilun Li, Ping He, Xiaohan Lin
Asymmetrical Barrier Function-Based Adaptive Vibration Control for Nonlinear Flexible Cantilever Beam With Obstacle Restriction. IEEE Access 9 (2021)
Xiaohan Lin, Yuan Liu, Fangjiong Chen
Channel-Adaptive Quantization for Wireless Federated Learning. ICCC (2021)
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 (2021)
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)
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 (2020)
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 (2020)
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)
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 (2020)
Yuanyuan Mi, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Tiejun Huang, Si Wu
Spatiotemporal Information Processing with a Reservoir Decision-making Network. CoRR (2019)
Yuanyuan Mi, Xiaohan Lin, Si Wu
Neural Computations in a Dynamical System with Multiple Time Scales. Frontiers Comput. Neurosci. 10 (2016)
Luozheng Li, Wenhao Zhang, Yuanyuan Mi, Dahui Wang, Xiaohan Lin, Si Wu
Dynamical information encoding in neural adaptation. EMBC (2016)
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)