2 papers
cs.CL2026
SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
Jian Yang, Zhenqi Feng, Zhaoyang Yu +7
Existing LRM-DoS methods rely heavily on model feedback to synthesize attack queries, requiring either repeated queries to the target model or training a dedicated attack model. Th…
cs.SE2026
Feature Slice Matching for Precise Bug Detection
Ke Ma, Jianjun Huang, Wei You +4
Measuring the function similarity to detect bugs is effective, but the statements unrelated to the bugs can impede the performance due to the noise interference. Suppressing the no…