Zhaoxuan Li

Identifiers

• name variant Zhaoxuan Li 0.60 · backfill

Papers (2)

1. CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes cs.CR · 2026 · author #1
2. Buildings-to-Grid Integration Framework math.OC · 2017 · author #5

Mentions

• 2606.25561 #1 · arxiv_oai · confidence 0.70 Zhaoxuan Li
• 1706.05626 #5 · arxiv_oai · confidence 0.70 Zhaoxuan Li

Frequent Coauthors

• Ahmad F. Taha 1 shared papers
• Ankur Pipri 1 shared papers
• Bing Dong 1 shared papers
• Bingzheng Wang 1 shared papers
• Haihui Fan 1 shared papers
• Hengyuan Liu 1 shared papers
• Hongbo Liu 1 shared papers
• Li Zhou 1 shared papers
• Nikolaos Gatsis 1 shared papers
• Qionglu Zhang 1 shared papers
• Rui Zhang 1 shared papers
• Xianhui Lu 1 shared papers
• Xiaoyan Gu 1 shared papers
• Ziming Zhao 1 shared papers