Author

Mingkang Liu

Observed name: Liu, Mingkang

Institutions: Institute of Geographic Sciences and Natural Resources Research, University of Chinese Academy of Sciences

Observed institutions: Institute of Geographic Sciences and Natural Resources Research, University of Chinese Academy of Sciences

OpenAlex ID: A5159371451

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

2026 · Cao, Zhipeng, Song, Peiyang, et al. · arXiv (Cornell University)

Works count: 1

Citation count:

H-index:

I10-index: