Hugging Face's logo
Marina Vinyes's picture
2 1

Marina Vinyes

mavi88
ahhwuhu's profile picture hehepig166's profile picture 21world's profile picture
·

AI & ML interests

None yet

Recent Activity

published an article 8 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
View all activity

Organizations

Project-Numina's profile picture MathCrawl-PDF's profile picture