Author

Akond Ashfaque Ur Rahman

h-index 4 View on Semantic Scholar

We have 1 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study

This pilot study evaluated six open-weight LLMs on the same 100 theorems from CoqStoq, a benchmark derived from real Coq projects and did not statistically test whether one model outperforms another, therefore, the results do not establish a universal ranking of the six models.

A. Ryan, Md Erfan, Akond Ashfaque Ur Rahman et al. · 0 citations