Helsinki-NLP/opus-mt-tc-bible-big-mul-deu_eng_fra_por_spa Translation • 0.2B • Updated Oct 12, 2024 • 22 • 2
Helsinki-NLP/opus-mt-tc-bible-big-deu_eng_fra_por_spa-mul Translation • 0.2B • Updated Oct 12, 2024 • 122 • 1
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config Text Generation • Updated Jul 17, 2025
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2 Text Generation • Updated Jul 22, 2025
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2 Text Generation • Updated Jul 22, 2025