{"data":[{"id":"deepseek-prover-2","name":"deepseek-prover-2","display_name":"DeepSeek Prover V2","description":"An open-source LLM specialized in formal theorem proving in Lean 4, trained via a recursive theorem-proving pipeline built on DeepSeek's MoE architecture.","creator":"deepseek","family":"deepseek-prover","tier":"","version":"2.0","type":"language","size_in_bn":null,"modalities":{"input":["text"],"output":["text"]},"context_window":163840,"max_output_tokens":null,"tool_use_system_prompt_tokens":0,"output_vector_sizes":[],"knowledge_cutoff":null,"training_data_cutoff":null,"supported_reasoning_efforts":[],"tokenizer":null,"capabilities":{"function_calling":false,"parallel_function_calling":false,"structured_outputs":false,"prompt_caching":false,"reasoning":false,"web_search":false,"computer_use":false,"code_execution":false,"file_search":false,"url_context":false,"assistant_prefill":false,"native_structured_output":false,"adaptive_reasoning":false},"release_date":null,"earliest_deprecation_date":null,"deprecated":false,"has_pricing":true,"provider_count":1,"ids":["accounts/fireworks/models/deepseek-prover-v2","deepseek-prover-2","fireworks_ai/accounts/fireworks/models/deepseek-prover-v2"],"hf_likes":null,"hf_downloads":null,"hf_downloads_all_time":null,"hf_trending_score":null,"updated_at":"2026-06-20 08:02:37"},{"id":"deepseek-prover-2-671b","name":"deepseek-prover-2-671b","display_name":"DeepSeek Prover V2 671B","description":"A 671B Mixture-of-Experts LLM specialized in mathematical theorem proving using Lean 4, representing DeepSeek's largest open-source formal reasoning model.","creator":"deepseek","family":"deepseek-prover","tier":"","version":"2.0","type":"language","size_in_bn":671,"modalities":{"input":["text"],"output":["text"]},"context_window":160000,"max_output_tokens":null,"tool_use_system_prompt_tokens":0,"output_vector_sizes":[],"knowledge_cutoff":null,"training_data_cutoff":null,"supported_reasoning_efforts":[],"tokenizer":null,"capabilities":{"function_calling":false,"parallel_function_calling":false,"structured_outputs":false,"prompt_caching":false,"reasoning":false,"web_search":false,"computer_use":false,"code_execution":false,"file_search":false,"url_context":false,"assistant_prefill":false,"native_structured_output":false,"adaptive_reasoning":false},"release_date":null,"earliest_deprecation_date":null,"deprecated":false,"has_pricing":true,"provider_count":2,"ids":["deepseek-prover-2-671b","deepseek/deepseek-prover-v2-671b","novita/deepseek/deepseek-prover-v2-671b"],"hf_likes":null,"hf_downloads":null,"hf_downloads_all_time":null,"hf_trending_score":null,"updated_at":"2026-06-20 08:02:37"}],"pagination":{"page_size":50,"has_next":false,"next_token":null,"total_count":2},"meta":{"updated_at":"2026-06-20","request_id":"df8efb1f-4db0-4181-9316-fb52a91d4f8e","execution_ms":10}}