Scholar
Li Kezhi
Google Scholar ID: bGbAyywAAAAJ
The Chinese University of Hong Kong
Formal Verification
LLM
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
24
H-index
2
i10-index
1
Publications
9
Co-authors
0
