16 citations · 39 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
GRADS: Graph-Regulated Agentic Data Synthesis with Controllable Difficulty
Gaocheng Yang, Ruijie Tao, Kai Ye +3
Deep research agents are increasingly deployed to retrieve precise information from large corpora, yet multi-hop, long-horizon tasks remain challenging. Synthetic data generation h…
cs.CR2026
Symbolon: Symbolic Execution by Learning Code Transformation
Jie Zhu, Penghui Li, Zhongxuan Li +4
Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this techniqu…