@misc{indiciaeb5ff9ba9b961,
  title = {Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4},
  author = {Jianyu Zhang and Fuyuan Zhang and Jiayi Lu and Jilin Hu and Xiaoyi Yin and Long Zhang and Feng Yang and Yongwang Zhao},
  year = {2026},
  url = {https://arxiv.org/abs/2602.08384},
  note = {Source identifier: 2602.08384}
}