Author

Weiru Cui

Observed name: Cui, Weiru

Institutions: Chinese Academy of Sciences, Institute of Software, University of Chinese Academy of Sciences

Observed institutions: Chinese Academy of Sciences, Institute of Software, University of Chinese Academy of Sciences

OpenAlex ID: A5159168852

Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

2026 · Zhipeng Cao, Taoran Wu, et al. · Preprints.org

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

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

Works count: 2

Citation count:

H-index:

I10-index: