Hugues de Saxcé
desaxce
AI & ML interests
None yet
Recent Activity
liked
a model
5 days ago
AI-MO/Kimina-Autoformalizer-7B
liked
a dataset
5 days ago
AI-MO/minif2f_test
liked
a model
5 days ago
AI-MO/Kimina-Prover-Preview-Distill-7B
Organizations
desaxce's activity
Fix statement AIME 1994 problem 3
3
#1 opened about 1 month ago
by
desaxce

Adapt model num_output_labels from 116 to 117
1
#1 opened about 1 year ago
by
desaxce
