Hugues de Saxcé's picture

3 6 30

Hugues de Saxcé

desaxce

·

desaxce

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

desaxce/numinamath-lean-filtered-v2

published a dataset about 1 month ago

desaxce/numinamath-lean-filtered-v2

updated a dataset about 1 month ago

desaxce/filtered-numinamath-lean

View all activity

Organizations

Articles 2

Article

11

Kimina-Prover-RL

Article

51

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

View all Articles

Papers 1

arxiv:2504.11354

models 1

desaxce/Qwen2.5-Coder-7B-Instruct

Text Generation • 8B • Updated Feb 14

datasets 2

desaxce/numinamath-lean-filtered-v2

Viewer • Updated about 1 month ago • 9.42k • 100

desaxce/filtered-numinamath-lean

Viewer • Updated Sep 14 • 9.45k • 61