Skip to content

Luming Li

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2026ACLCriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization.Zhongyuan Peng, Yifan Yao, Kaijing Ma, Shuyue Guo, Yizhe Li, Yichi Zhang, Chenchen Zhang, Yifan Zhang, Zhouliang Yu, Luming Li, Minghao Liu, Yihang Xia, Jiawei Shen, Yuchen Wu, Yixin Cao, Zhaoxiang Zhang, Wenhao Huang, Jiaheng Liu, Ge Zhang
2020AIESDeepfakes for Medical Video De-Identification: Privacy Protection and Diagnostic Information Preservation.Bingquan Zhu, Hao Fang, Yanan Sui, Luming Li
2009GECCOSearch-based multi-paths test data generation for structure-oriented testing.Yang Cao, Chunhua Hu, Luming Li