https://fireworks.ai/models/fireworks/deepseek-prover-v2
DeepSeek Prover V2 API | Fireworks AI
DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive...
deepseek prover v2 apifireworks ai