tcwong
/

deepseek_prover_sft_no_err_random

Model card Files Files and versions Community

No model card

New: Create and edit this model card directly on the website!

Contribute a Model Card

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference API

Unable to determine this model's library. Check the docs .

Collection including tcwong/deepseek_prover_sft_no_err_random

proof-repair-LLM-Lean4

11 items • Updated Sep 9