arxiv:2504.11354
Hugues de Saxcé
desaxce
AI & ML interests
None yet
Recent Activity
liked
a dataset
6 days ago
Goedel-LM/Lean-workbook-proofs
liked
a dataset
about 1 month ago
nvidia/OpenMathReasoning
authored
a paper
about 2 months ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with
Reinforcement Learning
Organizations
