Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
7
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.
LLMs that ace math exams can still be stumped by problems crafted by other LLMs, revealing a surprising gap between solving and problem-posing abilities.