1 citations · 2 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services
Hang He, Chuhuai Yue, Chengqi Dong +12
Recent advances in large reasoning models LRMs have enabled agentic search systems to perform complex multi-step reasoning across multiple sources. However, most studies focus on g…
cs.SE2025
Automated detection of atomicity violations in large-scale systems
Hang He, Yixing Luo, Chengcheng Wan +3
Atomicity violations in interrupt-driven programs pose a significant threat to software reliability in safety-critical systems. These violations occur when the execution sequence o…