Xiaokun Luan

22 papers C 2Misc 2Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems.
CoRR
Yihao Zhang, Zeming Wei, Xiaokun Luan, Chengcan Wu, Zhixin Zhang, Jiangrong Wu, Haolin Wu, Huanran Chen, Jun Sun, Meng Sun
2026 J jnl
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.
CoRR
Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt
2026 J jnl
RACA: Representation-Aware Coverage Criteria for LLM Safety Testing.
CoRR
Zeming Wei, Zhixin Zhang, Chengcan Wu, Yihao Zhang, Xiaokun Luan, Meng Sun
2025 C conf
Automata-Based Steering of Large Language Models for Diverse Structured Generation.
ICFEM
Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun
2025 J jnl
Automata-Based Steering of Large Language Models for Diverse Structured Generation.
CoRR
Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun
2025 J jnl
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.
Proc. ACM Program. Lang.
Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong
2025 J jnl
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving.
CoRR
Xinyi Zheng, Ningke Li, Xiaokun Luan, Kailong Wang, Ling Shi, Meng Sun, Haoyu Wang
2025 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.
Proc. ACM Program. Lang.
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2025 Misc conf
MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability.
SAC
Xiaokun Luan, Yihao Zhang, Meng Sun
2025 — conf
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
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
2025 J jnl
Protecting Deep Learning Model Copyrights With Adversarial Example-Free Reuse Detection.
IEEE Trans. Neural Networks Learn. Syst.
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2025 J jnl
Psychometric-Based Evaluation for Theorem Proving with Large Language Models.
CoRR
Jianyu Zhang, Yongwang Zhao, Long Zhang, Jilin Hu, Xiaokun Luan, Zhiwei Xu, Feng Yang
2025 J jnl
Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes.
Proc. Priv. Enhancing Technol.
Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun
2025 J jnl
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.
Proc. ACM Softw. Eng.
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
2024 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms and Modules.
CoRR
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2024 J jnl
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2024 J jnl
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR
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
2024 J jnl
Towards Large Language Model Aided Program Refinement.
CoRR
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
2023 Misc conf
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.
SETTA
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
2023 — conf
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.
QRS Companion
Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun
2021 — conf
Modeling and Verification of CKB Consensus Protocol in Coq.
QRS Companion
Xiaokun Luan, Meng Sun
2021 C conf
Using LSTM to Predict Tactics in Coq.
SEKE
Xiaokun Luan, Xiyue Zhang, Meng Sun