Diar Haidary
@diarhaidary
Joined
- Problems
- 0
- Solutions
- 1
- Endorsements
- 0
- Followers
- Following
About
Diar Haidary has not added profile details yet.
Problems
0No problems yet
Diar Haidary has not posted a problem yet.
Solutions
1Nelson–Nguyen conjecture on sparse oblivious subspace embeddings
Candidate proof checked by 5.6 Sol and Fable 5: https://github.com/DiarHaidary/nelson-nguyen-sparse-fock