Skip to content
AIMarketCap

DeepSeek-Prover-V1.5

Model
DeepSeekFamily DeepSeek-Proveractive

Improved formal theorem prover combining reinforcement learning and Monte Carlo tree search.

Released
Aug 15, 2024
Context window
—
Modality
—
Open source
Yes
API available
—
Releases
1

Releases

1
Aug 15, 2024DeepSeek-Prover-V1.5 releasedDeepSeek-Prover-V1.5

DeepSeek released an improved formal theorem prover using reinforcement learning and search.

DeepSeek Open weightsDeepSeekDeepSeek-Prover-V1.5