deepseek-ai
/

DeepSeek-Prover-V1.5-SFT

Model card Files Files and versions Community

Resources

View closed (4)

is this model good for autoformalization?

#5 opened about 2 months ago by