Xiaokun Luan

According to our database, Xiaokun Luan authored at least 13 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Psychometric-Based Evaluation for Theorem Proving with Large Language Models.

Jianyu Zhang, Yongwang Zhao, Long Zhang, Jilin Hu, Xiaokun Luan, Zhiwei Xu, Feng Yang

CoRR, February, 2025

Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes.

Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun

Proc. Priv. Enhancing Technol., 2025

Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.

Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun

Proc. ACM Softw. Eng., 2025

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.

Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Proc. ACM Program. Lang., 2025

Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.

Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong

Proc. ACM Program. Lang., 2025

MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability.

Xiaokun Luan, Yihao Zhang, Meng Sun

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

CoRR, 2024

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.

Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun

CoRR, 2024

Towards Large Language Model Aided Program Refinement.

Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong

CoRR, 2024

2023

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.

Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.

Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2021

Using LSTM to Predict Tactics in Coq.

Xiaokun Luan, Xiyue Zhang, Meng Sun

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verification of CKB Consensus Protocol in Coq.

Xiaokun Luan, Meng Sun

Proceedings of the 21st IEEE International Conference on Software Quality, 2021