Xie, Z., & Wang, W. (2026). Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought.
Chicago Style (17th ed.) CitationXie, Zichen, and Wenxi Wang. Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought. 2026.
MLA (9th ed.) CitationXie, Zichen, and Wenxi Wang. Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought. 2026.
Warning: These citations may not always be 100% accurate.