Ying's picture

1

Ying

zhenzhe

·

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

published an article 8 days ago

Article

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

By

and 17 others •

8 days ago

• 42