AI Scout
Talent Flow
EN
中文
◍
← Talent directory
W
Verified contributor
Wenxi Wang
Research author
Wenxi Wang ↗
Top-conference author
Verified conference papers
ICML · 2026-08-18
Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought ↗
International Conference on Machine Learning · accepted