タグ: 自動定理証明

解説 ねえ智也くん、この論文のタイトル「失敗から学ぶ：直観主義命題論理証明のためのLLMのファインチューニング」って面白そう！何について書かれてるの？ ああ、これは自動定理証明の分野での研究だよ。大規模言語モデルを使って…