SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
arXiv:2608.18921v1 Announce Type: cross Abstract: Existing LRM-DoS methods rely heavily on model feedback to synthesize attack queries, requiring either repeated queries to the target model or trainin