arXiv:2409.12300v1 公告类型: 新提交 摘要: 博弈论是一个强大的框架，用于推理战略互动，其应用领域从日常生活到国际政治不等。然而，在这些情境中应用形式化推理工具是具有挑战性的，因为这些场景通常以自然语言表达。为了解决这一问题，我们引入了一个用于博弈论场景自动形式化的框架，该框架将自然语言描述转化为适合形式化求解器的逻辑表示。我们的方法利用了一次性提示和一个提供语法正确性反馈的求解器，使大型语言模型（LLMs）能够改进代码。我们使用GPT-4o和一组自然语言问题描述的数据集对框架进行了评估，实现了98%的语法正确性和88%的语义正确性。这些结果展示了LLMs在弥合现实生活中的战略互动与形式化推理之间差距的潜力。