Hugging Face's logo
Hugues de Saxcé's picture
3 5 29

Hugues de Saxcé

desaxce
XiaoHLim's profile picture HaimingW's profile picture 21world's profile picture
·

AI & ML interests

None yet

Recent Activity

published an article 10 days ago
Kimina-Prover-RL
liked a model about 1 month ago
Goedel-LM/Goedel-Prover-V2-32B
new activity about 1 month ago
Goedel-LM/Goedel-Prover-V2-32B:Lean version
View all activity

Organizations

Project-Numina's profile picture