MantasBaksys's picture

2

MantasBaksys

MantasBaksys

·

AI & ML interests

None yet

Recent Activity

published an article 11 days ago

Kimina-Prover-RL

upvoted an article about 2 months ago

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

published an article about 2 months ago

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

View all activity

Organizations

Articles 2

Article

9

Kimina-Prover-RL

Article

48

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

View all Articles

models 2

MantasBaksys/Taxi-v3

Reinforcement Learning • Updated Sep 21, 2024

MantasBaksys/ppo-LunarLander-v2

Reinforcement Learning • Updated Sep 10, 2024 • 1

datasets 0

None public yet