Author

Rohan Pandey

h-index 2 View on Semantic Scholar

We have 1 of 11 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.

#machine learning Review Sep 2026

The Refutation Gap: Certifying Both Halves of an Optimality Claim

The refutation gap is closed with a pipeline that synthesizes minimal linear straight-line programs over GF(2), where every decisive UNSAT answer emits a DRAT proof checked by an independent third-party checker.

Rohan Pandey · 0 citations