Bingzheng Wang

Identifiers

• name variant Bingzheng Wang 0.60 · backfill

Papers (1)

1. CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes cs.CR · 2026 · author #7

Mentions

• 2606.25561 #7 · arxiv_oai · confidence 0.70 Bingzheng Wang

Frequent Coauthors

• Haihui Fan 1 shared papers
• Hengyuan Liu 1 shared papers
• Hongbo Liu 1 shared papers
• Li Zhou 1 shared papers
• Qionglu Zhang 1 shared papers
• Rui Zhang 1 shared papers
• Xianhui Lu 1 shared papers
• Xiaoyan Gu 1 shared papers
• Zhaoxuan Li 1 shared papers
• Ziming Zhao 1 shared papers