Hugging Face's logo
Hugues de Saxcé's picture
2 3 23

Hugues de Saxcé

desaxce
michelsol1's profile picture shtefcs's profile picture saltedfishlz's profile picture
·

AI & ML interests

None yet

Recent Activity

liked a dataset 19 days ago
nvidia/OpenMathReasoning
authored a paper about 1 month ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
liked a model about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-671B
View all activity

Organizations

Project-Numina's profile picture

desaxce's activity

New activity in AI-MO/minif2f_test 2 months ago

Fix statement AIME 1994 problem 3

3
#1 opened 3 months ago by
desaxce
New activity in Teklia/pylaia-belfort over 1 year ago

Adapt model num_output_labels from 116 to 117

1
#1 opened over 1 year ago by
desaxce