Mert Unsal's picture

7 2

Mert Unsal

mertunsal

·

https://mertunsall.github.io/

AI & ML interests

None yet

Recent Activity

new activity about 1 month ago

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

new activity about 1 month ago

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

new activity about 1 month ago

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

View all activity

Organizations

upvoted a paper 9 months ago

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

Paper • 2504.11354 • Published Apr 15, 2025 • 6

upvoted a collection 10 months ago

Kimina Prover Preview

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated Apr 28, 2025 • 33