SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
A novel, model-feedback-free LRM-DoS paradigm that employs the conflict count derived from an Satisfiability Modulo Theories (SMT) solver as a low-cost external signal to guide the synthesis of inference-heavy Constraint Satisfaction Problem (CSP) instances.
Jian Yang, Zhenqi Feng, Zhaoyang Yu et al.
· 0 citations