Akira Rafhael Janson Pattirane's picture

1 3

Akira Rafhael Janson Pattirane

korazer

AI & ML interests

NLP

Organizations

None yet

models 6

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

Text Generation • 8B • Updated Sep 25, 2025

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 • 4 • 2

datasets 2

korazer/herald-proofs-finweb-dpo

Viewer • Updated Sep 19, 2025 • 46.8k • 4

korazer/herald_proofs_dpo_ready

Viewer • Updated Sep 19, 2025 • 44.6k • 4