natural-deduction

ProofGrid是一个基准测试套件，通过使用极小形式化符号的机器可验证证明来评估LLM推理，包含证明编写、检查与补全任务，揭示了进展与尚存局限，包括认知不稳定性。