Mert Unsal's picture

3 2

Mert Unsal

mertunsal

·

https://mertunsall.github.io/

AI & ML interests

None yet

Recent Activity

published an article 8 days ago

Kimina-Prover-RL

View all activity

Organizations

mertunsal 's datasets 7

mertunsal/test_rollout

Viewer • Updated Apr 22 • 512 • 10

mertunsal/countdown_base

Viewer • Updated Feb 17 • 329k • 5

mertunsal/HFAssessment_eval_reward_16

Viewer • Updated Jan 22 • 20 • 4

mertunsal/HFAssessment_eval_greedy

Viewer • Updated Jan 22 • 20 • 7

mertunsal/HFAssessment_eval_16

Viewer • Updated Jan 22 • 20 • 9

mertunsal/AutoformalizationV1_FineTune

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

mertunsal/AutoformalizationV1

Updated Oct 3, 2024 • 2