Get started
Author

Taolue Chen

Observed name: Chen, Taolue
Observed institution: Birkbeck, University of London
OpenAlex ID: A5159352693
RAIN: Agentic Proof Generation for Rocq-based Software Verification
2026 · Zhou, Jinyi, Li, Zenan, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type