Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
0
2
It is demonstrated that \dirigo can find bugs effectively in a public dataset of 6,988 AI-written CUDA kernels that are all marked correct by differential testing, and it is demonstrated that \dirigo finds 600 kernels that are actually buggy, and finds 97.3\% of those bugs within two minutes.