Xiaohan Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | 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 |
| 2024 | NAACL | ATG: Benchmarking Automated Theorem Generation for Generative Language Models. | Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang |
| 2021 | ICONIP | A Just-In-Time Compilation Approach for Neural Dynamics Simulation. | Chaoming Wang, Yingqian Jiang, Xinyu Liu, Xiaohan Lin, Xiaolong Zou, Zilong Ji, Si Wu |
| 2020 | ECCV | An Attention-Driven Two-Stage Clustering Method for Unsupervised Person Re-identification. | Zilong Ji, Xiaolong Zou, Xiaohan Lin, Xiao Liu, Tiejun Huang, Si Wu |