DeepSeek Prover

Open Source

About

Mathematical theorem prover from DeepSeek specialized for formal verification.

Capabilities

VisionMultimodalReasoningFunction CallingTool UseJSON ModeCode Execution

Rankings

Best Open Source LLMs Cheapest LLM APIs

Specifications

FamilyDeepSeek Prover

Released2024-01-28

Created by

Advancing artificial general intelligence (AGI).

Hangzhou, Zhejiang, China

Founded 2023