Xiaokun Luan

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. CoRR (2024)
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
Towards Large Language Model Aided Program Refinement. CoRR (2024)
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. SETTA (2023)
Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. QRS Companion (2023)
Xiaokun Luan, Xiyue Zhang, Meng Sun
Using LSTM to Predict Tactics in Coq. SEKE (2021)
Xiaokun Luan, Meng Sun
Modeling and Verification of CKB Consensus Protocol in Coq. QRS Companion (2021)