Lin Li is an author at Jiangnan University specializing in cluster computing, combinatorial optimization, and mathematical programming.
Top concepts
Data MiningEngineeringData ScienceGraph TheorySexual AbuseSexual HealthSocial SciencesComputer ScienceMachine LearningCluster Computing
Publications per year
2009–2023
3
3
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Chengwu Liu, Jianhao Shen, Huajian Xin et al. · arXiv (Cornell University) · 2023 · 10 citations · Full text
Rows per page
1–3 of 3