LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks. - Yucheng Zeng; Weipeng Lu; Linyun Liu; Shupeng Li; Zitian Qu; Chenghao Zhu; Shaofei Li; Zhengdong Tan; Mengyue Liu; Haotian Zhao; Zhe Zhou; Jianmin Wu (CoRR, 2026)