Xiaokun Luan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | Automata-Based Steering of Large Language Models for Diverse Structured Generation. | Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | 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 | SAC | MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability. | Xiaokun Luan, Yihao Zhang, Meng Sun |
| 2023 | QRS | MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. | Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun |
| 2023 | SETTA | HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun |
| 2021 | QRS | Modeling and Verification of CKB Consensus Protocol in Coq. | Xiaokun Luan, Meng Sun |
| 2021 | SEKE | Using LSTM to Predict Tactics in Coq. | Xiaokun Luan, Xiyue Zhang, Meng Sun |