Author

Diar Heidary

h-index 0 View on Semantic Scholar

We have 1 of 1 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 Sep 2026

SparseStack Is an Optimal Oblivious Subspace Embedding

It is proved that fully independent SparseStack achieves the oblivious subspace embedding parameters conjectured by Nelson and Nguyen (FOCS 2013) and the main theorem has been formally verified in Lean 4.

Diar Heidary · 1 citation