Mert Unsal's picture

3 2

Mert Unsal

mertunsal

·

https://mertunsall.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

View all activity

Organizations

models 14

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

Text Generation • Updated Apr 8 • 21

mertunsal/Qwen2.5-Math-7B

Text Generation • Updated Mar 21 • 2

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

Updated Feb 18 • 4

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

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

Updated Feb 18 • 4

mertunsal/qwen2.5-1.5b-instruct-global_step_450

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

mertunsal/qwen2.5-1.5b-instruct-global_step_100

mertunsal/qwen2.5-1.5b-instruct-global_step_250

mertunsal/qwen2.5-1.5b-instruct-global_step_50

datasets 6

mertunsal/test_rollout

Viewer • Updated 21 days ago • 512 • 138

mertunsal/countdown_base

Viewer • Updated Feb 17 • 329k • 25

mertunsal/HFAssessment_eval_reward_16

Viewer • Updated Jan 22 • 20 • 17

mertunsal/HFAssessment_eval_greedy

Viewer • Updated Jan 22 • 20 • 22

mertunsal/HFAssessment_eval_16

Viewer • Updated Jan 22 • 20 • 15

mertunsal/AutoformalizationV1_FineTune

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