Article
17
Mert Unsal
mertunsal
AI & ML interests
None yet
Recent Activity
liked a model about 15 hours ago
moonshotai/Kimi-K3 updated a model 25 days ago
mistralai/Leanstral-1.5-119B-A6B updated a model 26 days 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 • 3
mertunsal/Ministral-3-8B-Instruct-2512-BF16
9B • Updated • 11
mertunsal/InternVL3_5-2B
Image-Text-to-Text • 2B • Updated • 3
mertunsal/InternVL3_5-4B
Image-Text-to-Text • 5B • Updated • 3
mertunsal/InternVL3_5-30B-A3B
Image-Text-to-Text • 31B • Updated • 3
mertunsal/Qwen2.5-Math-1.5B-Instruct
Text Generation • 2B • Updated • 9
mertunsal/Qwen2.5-Math-7B
Text Generation • 8B • Updated • 5
mertunsal/qwen2.5-3b-instruct-countdown-global_step_100
3B • Updated • 1
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 • 26
mertunsal/test_rollout
Viewer • Updated • 512 • 13
mertunsal/countdown_base
Viewer • Updated • 329k • 62
mertunsal/HFAssessment_eval_reward_16
Viewer • Updated • 20 • 12
mertunsal/HFAssessment_eval_greedy
Viewer • Updated • 20 • 13
mertunsal/HFAssessment_eval_16
Viewer • Updated • 20 • 7
mertunsal/AutoformalizationV1_FineTune
Viewer • Updated • 1.7k • 18
mertunsal/AutoformalizationV1
Updated • 23