Hugues de Saxcé's picture

3 6 30

Hugues de Saxcé

desaxce

·

desaxce

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

desaxce/numinamath-lean-filtered-v2

published a dataset about 2 months ago

desaxce/numinamath-lean-filtered-v2

updated a dataset about 2 months ago

desaxce/filtered-numinamath-lean

View all activity

Organizations

Articles 2

Article

11

Kimina-Prover-RL

Article

53

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 • 1

datasets 2

desaxce/numinamath-lean-filtered-v2

Viewer • Updated Sep 16 • 9.42k • 5

desaxce/filtered-numinamath-lean

Viewer • Updated Sep 14 • 9.45k • 5