Article
15
Mert Unsal
mertunsal
AI & ML interests
None yet
Organizations
Articles 2
Article
54
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models 19
mertunsal/Ministral-3-3B-Instruct-2512-BF16
4B • Updated • 1
mertunsal/Ministral-3-8B-Instruct-2512-BF16
9B • Updated • 2
mertunsal/InternVL3_5-2B
Image-Text-to-Text • 2B • Updated
mertunsal/InternVL3_5-4B
Image-Text-to-Text • 5B • Updated
mertunsal/InternVL3_5-30B-A3B
Image-Text-to-Text • 31B • Updated
mertunsal/Qwen2.5-Math-1.5B-Instruct
Text Generation • 2B • Updated
mertunsal/Qwen2.5-Math-7B
Text Generation • 8B • Updated • 2
mertunsal/qwen2.5-3b-instruct-countdown-global_step_100
3B • Updated
mertunsal/qwen2.5-3b-instruct-countdown-global_step_200
3B • Updated
mertunsal/qwen2.5-3b-instruct-countdown-global_step_150
3B • Updated • 1
datasets 8
mertunsal/criticLean-hard-test
Viewer • Updated • 2 • 7
mertunsal/test_rollout
Viewer • Updated • 512 • 72
mertunsal/countdown_base
Viewer • Updated • 329k • 38
mertunsal/HFAssessment_eval_reward_16
Viewer • Updated • 20 • 70
mertunsal/HFAssessment_eval_greedy
Viewer • Updated • 20 • 62
mertunsal/HFAssessment_eval_16
Viewer • Updated • 20 • 73
mertunsal/AutoformalizationV1_FineTune
Viewer • Updated • 1.7k • 26
mertunsal/AutoformalizationV1
Updated • 11