DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

将语言模型 (LM) 调用链接为可组合模块正在催生一种新的编程方式，但确保 LM 遵守重要约束需要启发式“即时工程”。我们引入了 LM 断言，这是一种编程结构，用于表达 LM 应满足的计算约束。我们将我们的构造集成到最新的 LM DSPy 编程模型中，并提出新的策略，允许 DSPy 将带有 LM 断言的程序编译成更可靠和准确的系统 ...