formalmathatepfl

formalmathatepfl's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

etiennebamas 

updated a model about 1 month ago

formalmathatepfl/feedback-dropout-even

Text Generation • 308k • Updated Jun 25 • 7

etiennebamas 

published a model about 1 month ago

formalmathatepfl/feedback-dropout-even

Text Generation • 308k • Updated Jun 25 • 7

Lemmy00 

updated a dataset 2 months ago

formalmathatepfl/sft_classic_numina

Viewer • Updated Jun 5 • 99.8k • 87

Lemmy00 

published a dataset 2 months ago

formalmathatepfl/sft_classic_numina

Viewer • Updated Jun 5 • 99.8k • 87

Lemmy00 

updated a model 2 months ago

formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050

7B • Updated Jun 3 • 6

Lemmy00 

published a model 2 months ago

formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050

7B • Updated Jun 3 • 6

etiennebamas 

updated a model 2 months ago

formalmathatepfl/qwen3-dropout-0.75

Text Generation • 308k • Updated Jun 3 • 9

etiennebamas 

published 2 models 2 months ago

formalmathatepfl/qwen3-dropout-0.75

Text Generation • 308k • Updated Jun 3 • 9

formalmathatepfl/qwen3-dropout-0.5

308k • Updated Jun 3 • 8

etiennebamas 

updated a model 2 months ago

formalmathatepfl/qwen3-dropout-0.5

308k • Updated Jun 3 • 8

etiennebamas 

published a model 2 months ago

formalmathatepfl/Qwen30b-sft-feedback

211k • Updated May 14 • 4

Lemmy00 

updated a model 2 months ago

formalmathatepfl/deepseek-prover-v2-feedback-grpo-800

7B • Updated May 25 • 5

Lemmy00 

published a model 2 months ago

formalmathatepfl/deepseek-prover-v2-feedback-grpo-800

7B • Updated May 25 • 5

etiennebamas 

updated 2 models 2 months ago

formalmathatepfl/apertus-cpt-sft-classic

274k • Updated May 25 • 8

formalmathatepfl/apertus-cpt-sft-feedback

Text Generation • 274k • Updated May 25 • 8

etiennebamas 

published 2 models 2 months ago

formalmathatepfl/apertus-cpt-sft-feedback

Text Generation • 274k • Updated May 25 • 8

formalmathatepfl/apertus-cpt-sft-classic

274k • Updated May 25 • 8

etiennebamas 

updated a model 3 months ago

formalmathatepfl/Apertus-8B-cpt

Text Generation • 274k • Updated May 23 • 9

etiennebamas 

published a model 3 months ago

formalmathatepfl/Apertus-8B-cpt

Text Generation • 274k • Updated May 23 • 9

Lemmy00 

updated a model 3 months ago

formalmathatepfl/deepseek-prover-v2-grpo-800

Reinforcement Learning • 7B • Updated May 22 • 23