Article
17
Mert Unsal
mertunsal
AI & ML interests
None yet
Recent Activity
updated a model 10 days ago
mistralai/Leanstral-1.5-119B-A6B updated a model 11 days ago
mistralai/Leanstral-1.5-119B-A6B new activity 7 months ago
browser-use/bu-30b-a3b-preview:Update README.mdOrganizations
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 • 2
mertunsal/Ministral-3-8B-Instruct-2512-BF16
9B • Updated • 10
mertunsal/InternVL3_5-2B
Image-Text-to-Text • 2B • Updated • 4
mertunsal/InternVL3_5-4B
Image-Text-to-Text • 5B • Updated • 1
mertunsal/InternVL3_5-30B-A3B
Image-Text-to-Text • 31B • Updated • 2
mertunsal/Qwen2.5-Math-1.5B-Instruct
Text Generation • 2B • Updated • 11
mertunsal/Qwen2.5-Math-7B
Text Generation • 8B • Updated • 7
mertunsal/qwen2.5-3b-instruct-countdown-global_step_100
3B • Updated • 2
mertunsal/qwen2.5-3b-instruct-countdown-global_step_200
3B • Updated • 3
mertunsal/qwen2.5-3b-instruct-countdown-global_step_150
3B • Updated
datasets 8
mertunsal/criticLean-hard-test
Viewer • Updated • 2 • 34
mertunsal/test_rollout
Viewer • Updated • 512 • 9
mertunsal/countdown_base
Viewer • Updated • 329k • 42
mertunsal/HFAssessment_eval_reward_16
Viewer • Updated • 20 • 10
mertunsal/HFAssessment_eval_greedy
Viewer • Updated • 20 • 10
mertunsal/HFAssessment_eval_16
Viewer • Updated • 20 • 8
mertunsal/AutoformalizationV1_FineTune
Viewer • Updated • 1.7k • 8
mertunsal/AutoformalizationV1
Updated • 12