Get started
Author

Chao Jiang

Observed name: Jiang, Chao
Institution: Shenzhen University
Observed institution: Shenzhen University
OpenAlex ID: A5159136746
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance
2026 · Wang, Ding, Jiang, Chao, et al. · arXiv (Cornell University) · 1
PDF
Xiaomi-Lens-0 Technical Report
2026 · Fu, Pei, Liu, Yike, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type