标签
本文主张对大语言模型生成的论辩图进行分层验证，将确定性检查、求解器与大语言模型审查相结合。研究表明，大语言模型审查器能较好地检测结构缺陷，但结果不稳定，容易误拒正确的论辩图，且速度慢于精确检查方法。