@misc{indiciaeb031ea28e181,
  title = {Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study},
  author = {Ahmed Ryan and Md Erfan and Akond Ashfaque Ur Rahman and Md Rayhanur Rahman},
  year = {2026},
  url = {https://arxiv.org/abs/2608.05420},
  note = {Source identifier: 2608.05420}
}