LOGIGEN：逻辑驱动的可验证代理任务生成

针对大语言模型向自主代理演进中面临的数据稀缺及现有方法缺乏严谨逻辑的问题，本文提出 LOGIGEN 框架。该框架通过硬编译策略基础、逻辑驱动正向合成及确定性状态验证三大支柱，利用三重代理协作生成包含两万个复杂任务的 verified 数据集。结合基于验证的监督微调与强化学习协议，该方法显著提升了代理在长程目标达成上的表现，在τ²-Bench 基准上成功率达 79.5%，有效构建了因果有效的代理轨迹。