Article
8
Mert Unsal
mertunsal
AI & ML interests
None yet
Recent Activity
published
an
article
8 days ago
Kimina-Prover-RL
Organizations
Articles 2
Article
48
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models
14
mertunsal/Qwen2.5-Math-1.5B-Instruct
Text Generation
•
2B
•
Updated
•
6
mertunsal/Qwen2.5-Math-7B
Text Generation
•
8B
•
Updated
•
5
mertunsal/qwen2.5-3b-instruct-countdown-global_step_100
3B
•
Updated
•
4
mertunsal/qwen2.5-3b-instruct-countdown-global_step_200
3B
•
Updated
•
7
mertunsal/qwen2.5-3b-instruct-countdown-global_step_150
3B
•
Updated
•
3
mertunsal/qwen2.5-1.5b-instruct-global_step_450
2B
•
Updated
•
3
mertunsal/qwen2.5-3b-instruct-countdown-global_step_50
3B
•
Updated
•
4
mertunsal/qwen2.5-1.5b-instruct-global_step_100
2B
•
Updated
•
6
mertunsal/qwen2.5-1.5b-instruct-global_step_250
2B
•
Updated
•
3
mertunsal/qwen2.5-1.5b-instruct-global_step_50
2B
•
Updated
•
5
datasets
7
mertunsal/test_rollout
Viewer
•
Updated
•
512
•
9
mertunsal/countdown_base
Viewer
•
Updated
•
329k
•
7
mertunsal/HFAssessment_eval_reward_16
Viewer
•
Updated
•
20
•
4
mertunsal/HFAssessment_eval_greedy
Viewer
•
Updated
•
20
•
7
mertunsal/HFAssessment_eval_16
Viewer
•
Updated
•
20
•
9
mertunsal/AutoformalizationV1_FineTune
Viewer
•
Updated
•
1.7k
•
9
mertunsal/AutoformalizationV1
Updated
•
2