Weidong Cui

Identifiers

• name variant Weidong Cui 0.60 · backfill

Papers (4)

1. AutoVerus: Automated Proof Generation for Rust Code cs.SE · 2024 · author #5
2. E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification cs.SE · 2023 · author #4
3. Leveraging Large Language Models for Automated Proof Synthesis in Rust cs.FL · 2023 · author #4
4. Security and Machine Learning in the Real World cs.CR · 2020 · author #2

Mentions

• 2409.13082 #5 · arxiv_oai · confidence 0.70 Weidong Cui
• 2312.08477 #4 · arxiv_oai · confidence 0.70 Weidong Cui
• 2311.03739 #4 · arxiv_oai · confidence 0.70 Weidong Cui
• 2007.07205 #2 · arxiv_oai · confidence 0.70 Weidong Cui

Frequent Coauthors

• Ziqiao Zhou 3 shared papers
• Jianan Yao 2 shared papers
• Weiteng Chen 2 shared papers
• Chenyuan Yang 1 shared papers
• Chris Hawblitzel 1 shared papers
• Ece Kamar 1 shared papers
• Emre Kiciman 1 shared papers
• Fan Yang 1 shared papers
• Ivan Evtimov 1 shared papers
• Jacob R. Lorch 1 shared papers
• Jerry Li 1 shared papers
• Md Rakib Hossain Misu 1 shared papers
• Shan Lu 1 shared papers
• Shuai Lu 1 shared papers
• Shuvendu Lahiri 1 shared papers
• Tadayoshi Kohno 1 shared papers
• Xuheng Li 1 shared papers
• Yeyun Gong 1 shared papers
• Yu Hao 1 shared papers