korazer

korazer 's models 6

Sort:  Recently updated

korazer/qwen3-8b-crypto-bot-dpo-merged

Text Generation • 8B • Updated Sep 25, 2025 • 6

korazer/Qwen-3-8B-Lean4-Autoformalization

Updated Sep 24, 2025

korazer/qwen3-8b-lean4-prover-dpo

Updated Sep 24, 2025

korazer/qwen3-8b-crypto-bot-dpo

Updated Sep 24, 2025

korazer/qwen3-8b-lean4-prover-finetuned

Updated Sep 24, 2025

korazer/chart-test-classify

Image Classification • Updated Jul 18, 2023 • 6 • 2