TY  - RPRT
TI  - Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
AU  - Jianyu Zhang
AU  - Fuyuan Zhang
AU  - Jiayi Lu
AU  - Jilin Hu
AU  - Xiaoyi Yin
AU  - Long Zhang
AU  - Feng Yang
AU  - Yongwang Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2602.08384
ID  - 2602.08384
ER  -