D

DeepSeek Prover V2

DeepSeek·Text

オープンソースのLLMは、再帰的定理証明パイプラインに基づくLean 4の形式定理証明に特化しています。