Search papers, labs, and topics across Lattice.
2
0
5
9
Leveraging SMT conflict counts, SMTrap achieves unprecedented denial-of-service effects against large reasoning models without the need for model feedback or GPU resources.
Forget scraping messy real-world websites: AutoWebWorld lets you synthesize infinite, perfectly verifiable web interaction data for just $0.04 a pop, dramatically boosting agent performance.
