Hugging Face model: haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr3e-5-gas4-seed456
Author: haielab
Created: 2025-07-30 22:07:58
Last modified: 2025-08-01 00:20:18
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata:
library_name: transformers