TY  - RPRT
TI  - Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study
AU  - Ahmed Ryan
AU  - Md Erfan
AU  - Akond Ashfaque Ur Rahman
AU  - Md Rayhanur Rahman
PY  - 2026
UR  - https://arxiv.org/abs/2608.05420
ID  - 2608.05420
ER  -