LogicAsker是一种自动方法，用于评估和改进大型语言模型的逻辑推理能力。通过测试多个语言模型，发现LogicAsker可以有效提高逻辑推理能力，如GPT-4提高了10%。该方法首次基于测试结果创建提示来提高语言模型的形式推理能力。

LogicAsker是一种自动方法，用于评估和改进大型语言模型的逻辑推理能力。测试发现逻辑推理错误的比率从25%到94%不等。LogicAsker的测试用例可提高语言模型的逻辑推理能力。该研究首次基于测试结果创建提示来提高语言模型的形式推理能力。