Search papers, labs, and topics across Lattice.
Virginia Tech
2
0
5
DiscPBT uncovers semantic drifts and corner-case pitfalls in data-intensive computing systems that traditional fuzzing fails to detect.
LLMs can fix numerical instability in scientific code where traditional methods fail, but watch out for control flow and high-precision literals.
