TY - RPRT TI - SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance AU - Jian Yang AU - Zhenqi Feng AU - Zhaoyang Yu AU - Zhaoxin Fan AU - Kejian Wu AU - Xiaofeng Wang AU - Zheng Zhu AU - Jianjun Huang AU - Wei You AU - Bin Liang PY - 2026 UR - https://arxiv.org/abs/2608.18921 ID - 2608.18921 ER -