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