Hugues de Saxcé's picture

2 3 22

Hugues de Saxcé

desaxce

·

desaxce

AI & ML interests

None yet

Recent Activity

authored a paper 1 day ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

liked a model 13 days ago

deepseek-ai/DeepSeek-Prover-V2-671B

liked a dataset 15 days ago

AI-MO/CombiBench

View all activity

Organizations

Papers 1

arxiv:2504.11354

models 1

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

Text Generation • Updated Feb 14 • 2

datasets 0

None public yet