Marina Vinyes's picture

2 1

Marina Vinyes

mavi88

·

AI & ML interests

None yet

Recent Activity

published an article 3 days ago

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

View all activity

Organizations

Articles 1

Article

33

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

models 0

None public yet

datasets 2

mavi88/ucf101_frames

Updated Jun 8, 2024 • 7

mavi88/phys101_frames

Updated Apr 6, 2024 • 15