Flood Sung's picture

1 4 18

Flood Sung

floodsung

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 2 days ago

upvoted an article 3 days ago

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

published an article 3 days ago

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

View all activity

Organizations

floodsung 's datasets

None public yet