Mert Unsal's picture

7 2

Mert Unsal

mertunsal

·

https://mertunsall.github.io/

AI & ML interests

None yet

Recent Activity

new activity 12 days ago

browser-use/bu-30b-a3b-preview:Update README.md

new activity 12 days ago

browser-use/bu-30b-a3b-preview:Question about max model len

new activity 14 days ago

browser-use/bu-30b-a3b-preview:sampling params

View all activity

Organizations

Articles 2

Article

12

Kimina-Prover-RL

Article

53

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

View all Articles

models 19

mertunsal/Ministral-3-3B-Instruct-2512-BF16

4B • Updated Dec 4, 2025 • 2

mertunsal/Ministral-3-8B-Instruct-2512-BF16

9B • Updated Dec 4, 2025 • 4

mertunsal/InternVL3_5-2B

Image-Text-to-Text • 2B • Updated Sep 20, 2025 • 5

mertunsal/InternVL3_5-4B

Image-Text-to-Text • 5B • Updated Sep 18, 2025 • 8

mertunsal/InternVL3_5-30B-A3B

Image-Text-to-Text • 31B • Updated Sep 17, 2025 • 4

mertunsal/Qwen2.5-Math-1.5B-Instruct

Text Generation • 2B • Updated Apr 8, 2025 • 7

mertunsal/Qwen2.5-Math-7B

Text Generation • 8B • Updated Mar 21, 2025 • 3

mertunsal/qwen2.5-3b-instruct-countdown-global_step_100

3B • Updated Feb 18, 2025 • 10

mertunsal/qwen2.5-3b-instruct-countdown-global_step_200

3B • Updated Feb 18, 2025 • 6

mertunsal/qwen2.5-3b-instruct-countdown-global_step_150

3B • Updated Feb 18, 2025 • 10

datasets 8

mertunsal/criticLean-hard-test

Viewer • Updated Sep 10, 2025 • 2 • 12

mertunsal/test_rollout

Viewer • Updated Apr 22, 2025 • 512 • 23

mertunsal/countdown_base

Viewer • Updated Feb 17, 2025 • 329k • 19

mertunsal/HFAssessment_eval_reward_16

Viewer • Updated Jan 22, 2025 • 20 • 14

mertunsal/HFAssessment_eval_greedy

Viewer • Updated Jan 22, 2025 • 20 • 11

mertunsal/HFAssessment_eval_16

Viewer • Updated Jan 22, 2025 • 20 • 19

mertunsal/AutoformalizationV1_FineTune

Viewer • Updated Oct 5, 2024 • 1.7k • 14

mertunsal/AutoformalizationV1

Updated Oct 3, 2024 • 4