本研究提出DisCIPL方法，旨在解决语言模型推理中的低效和误差问题，能够生成并执行特定任务的推理程序。研究结果表明，该方法在任务生成方面表现优异，有望提高推理效率和可验证性。