DeepSeek Prover V2
DeepSeek
DeepSeek·Text
오픈소스 LLM은 재귀적 정리 증명 파이프라인 위에 구축된 Lean 4의 형식적 정리 증명에 특화되어 있습니다.
