Stanford's deterministic CUDA kernel verifier

4 pointsposted 10 hours ago
by ggboimoney

3 Comments

deadcatfound

10 hours ago

Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right.

user

10 hours ago

[deleted]