Hugging Face's logo
lujianqiao's picture
2

lujianqiao

rookiemango
mavi88's profile picture Randyz's profile picture EncikAM's profile picture
·

AI & ML interests

None yet

Recent Activity

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

Organizations

Project-Numina's profile picture sparse_decode's profile picture