D

DeepSeek Prover V2

DeepSeek·Text

开源LLM专注于精益4的形式定理证明，基于递归定理证明流水线。