直接的な失敗から学ぶ: 試行錯誤データを使ったLLMの微調整による直感的な命題論理証明

失敗した探索経路の情報を活用することで、より効率的な定理証明が可能になる。