Andreas Florath

新しいデータセットがLLMのCoqコードや証明を生成する能力を向上させる。