FASTRIC: 用于可验证LLM交互的提示规范语言

FASTRIC论文介绍了一种用于规范和验证与大型语言模型交互的新语言，这可能提高LLM应用程序的可靠性。这项工作侧重于通过结构化的提示方法来确保LLM输出的正确性和可信度。

• •FASTRIC 旨在用于指定和验证与 LLM 的交互。
• •该方法旨在提高 LLM 应用程序的可靠性和可信度。
• •这项工作为提示设计和验证提供了一个结构化框架。