Search papers, labs, and topics across Lattice.
Affiliation:
2
0
4
Leveraging SMT conflict counts, SMTrap achieves unprecedented denial-of-service effects against large reasoning models without the need for model feedback or GPU resources.
