Bingzheng Wang

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 FSE ×1

Frequent coauthors

Yan Zhang

×2

Guoqiang Wu

×2

Teng Pang

×2

Yilong Yin

×2

Zhaoxuan Li

×1

Qionglu Zhang

×1

Hengyuan Liu

×1

Xiaoyan Gu

×1

Xianhui Lu

×1

Hongbo Liu

×1

Haihui Fan

×1

Ziming Zhao

×1

Papers

CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
FSE 2026 ·
Zhaoxuan Li
,
Qionglu Zhang
,
Hengyuan Liu
,
Xiaoyan Gu
,
Xianhui Lu
,
Hongbo Liu
, Bingzheng Wang,
Haihui Fan
,
Ziming Zhao
,
Rui Zhang
,
Li Zhou
Towards Macro-AUC Oriented Imbalanced Multi-Label Continual Learning
AAAI 2025 ·
Yan Zhang
,
Guoqiang Wu
, Bingzheng Wang,
Teng Pang
,
Haoliang Sun
,
Yilong Yin
DiffAIL: Diffusion Adversarial Imitation Learning
AAAI 2024 · Bingzheng Wang,
Guoqiang Wu
,
Teng Pang
,
Yan Zhang
,
Yilong Yin