利用大型语言模型提高证明的效果
摘要：大型语言模型具有简化正式定理证明并使其更易于访问的潜力。然而，如何充分利用这些模型仍然是一个悬而未决的问题。为了回答这个问题，我们退一步，使用常见的提示技术探索这些模型的失败案例。我们的演讲将讨论这些失败案例以及它们可以教给我们如何更好地利用这些模型的内容。
作者：Shizhuo Dylan Zhang, Talia Ringer, Emily First
论文ID：2305.04369
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-02