RESEARCHInvestigateNOW
SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
arXiv cs.CL — Computation and Language
Factual evidence
What the source reports
Researchers introduced SMTrap, an offline DoS attack method using SMT solvers to trigger heavy search compute in large reasoning models.
Open source