MantasBaksys's picture

2

MantasBaksys

MantasBaksys

·

AI & ML interests

None yet

Recent Activity

upvoted an article 19 days ago

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

published an article 19 days ago

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

View all activity

Organizations

Articles 1

Article

46

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

models 2

MantasBaksys/Taxi-v3

Reinforcement Learning • Updated Sep 21, 2024

MantasBaksys/ppo-LunarLander-v2

Reinforcement Learning • Updated Sep 10, 2024 • 3

datasets 0

None public yet