Reinforcement Learning-Guided Symbolic Execution for Efficient and Exploitable Smart Contract Analysis
Zhaoxuan Li · Ziming Zhao · Siqi Lu · Rui Zhang · Wenhao Li · Xiaofei Yue · Fan T Zhang
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Zhaoxuan Li · Ziming Zhao · Siqi Lu · Rui Zhang · Wenhao Li · Xiaofei Yue · Fan T Zhang
Yuchen Wang · Fanqi Kong · Ke Shi · Zhipeng Liu · Xiaofei Yue · Zhaoxuan Li · Tingting Li · Ziming Zhao
Fanqi Kong · Ke Shi · Yuchen Wang · Zhipeng Liu · Xiaofei Yue · Zhaoxuan Li · Tingting Li · Ziming Zhao
Yu Peng · Junyu Chen · Fanqi Kong · Ke Shi · Fulun Ye · Fangming Zhao · Tingting Li · Xiaofei Yue · Zhaoxuan Li · Ziming Zhao
Fangming Zhao · Fulun Ye · Xiaofei Yue · Ziming Zhao · Yu Peng · Junyu Chen · Tingting Li
Huidong Ma · Xinyan Shi · Hui Sun · Xiaofei Yue · Xiaoguang Liu · Gang Wang · Wentong Cai
Huidong Ma · Xinyan Shi · Sun Hui · Xiaofei Yue · Xiaoguang Liu · Gang Wang · Wentong Cai
While Learned Data Compression (LDC) has achieved superior compression ratios, balancing precise probability modeling with system efficiency remains challenging. Crucially, uniform single-stream architectures struggle to simultaneously capture micro-syntactic and macro-semantic features, necessit...
Tingting Li · Ziming Zhao · Zhaoxuan Li · Jiongchi Yu · Xiaofei Yue · Jianwei Yin
Large language models have recently advanced automated program repair, yet most existing approaches provide only post-hoc natural-language explanations that are neither executable nor verifiable. This limitation is especially critical for quantum programs, where correctness hinges on subtle seman...
Tingting Li · Jiongchi Yu · Zhikang Fan · Junqing Wang · Yao Zhai · Shenglong Zhang · Yu Peng · Yuhan Chen · Junyu Chen · Fanqi Kong · Zhaoxuan Li · Xiaofei Yue · Ziming Zhao · Jianwei Yin