Article
17
Mert Unsal
mertunsal
AI & ML interests
None yet
Recent Activity
liked a model 4 days ago
moonshotai/Kimi-K3 updated a model 29 days ago
mistralai/Leanstral-1.5-119B-A6B updated a model about 1 month ago
mistralai/Leanstral-1.5-119B-A6BOrganizations
Articles 2
Article
56
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models 19
mertunsal/Ministral-3-3B-Instruct-2512-BF16
4B • Updated • 7
mertunsal/Ministral-3-8B-Instruct-2512-BF16
9B • Updated • 6
mertunsal/InternVL3_5-2B
Image-Text-to-Text • 2B • Updated • 3
mertunsal/InternVL3_5-4B
Image-Text-to-Text • 5B • Updated • 4
mertunsal/InternVL3_5-30B-A3B
Image-Text-to-Text • 31B • Updated • 4
mertunsal/Qwen2.5-Math-1.5B-Instruct
Text Generation • 2B • Updated • 8
mertunsal/Qwen2.5-Math-7B
Text Generation • 8B • Updated • 7
mertunsal/qwen2.5-3b-instruct-countdown-global_step_100
3B • Updated • 4
mertunsal/qwen2.5-3b-instruct-countdown-global_step_200
3B • Updated • 1
mertunsal/qwen2.5-3b-instruct-countdown-global_step_150
3B • Updated • 3
datasets 8
mertunsal/criticLean-hard-test
Viewer • Updated • 2 • 28
mertunsal/test_rollout
Viewer • Updated • 512 • 14
mertunsal/countdown_base
Viewer • Updated • 329k • 64
mertunsal/HFAssessment_eval_reward_16
Viewer • Updated • 20 • 12
mertunsal/HFAssessment_eval_greedy
Viewer • Updated • 20 • 14
mertunsal/HFAssessment_eval_16
Viewer • Updated • 20 • 8
mertunsal/AutoformalizationV1_FineTune
Viewer • Updated • 1.7k • 17
mertunsal/AutoformalizationV1
Updated • 24