Model: haielab/DeepSeek-Prover-V2-7B-2ndfinal-conjecture-base
Author: haielab
Library: transformers
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata: library_name: transformers
Likes: 0 | All-time downloads: 0
Created: 2025-07-01 23:21:21