formalmathatepfl

formalmathatepfl's activity

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

etiennebamas 

published a model about 10 hours ago

formalmathatepfl/Qwen-30b-1epoch

Updated about 10 hours ago

raduv98 

updated a model 2 days ago

formalmathatepfl/deepseek-prover-v2-7b-lean-cpt-32k

Text Generation • 7B • Updated 2 days ago • 17

etiennebamas 

updated a model 2 days ago

formalmathatepfl/Qwen-30b-cpt

Text Generation • 211k • Updated 2 days ago • 21

etiennebamas 

published a model 2 days ago

formalmathatepfl/Qwen-30b-cpt

Text Generation • 211k • Updated 2 days ago • 21

raduv98 

published a model 2 days ago

formalmathatepfl/deepseek-prover-v2-7b-lean-cpt-32k

Text Generation • 7B • Updated 2 days ago • 17

Lemmy00 

updated a model about 1 month ago

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated Apr 7 • 216

etiennebamas 

published 6 models about 1 month ago

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 4

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 711

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 2

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated Apr 7 • 216

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 27

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 18

etiennebamas 

updated a model about 2 months ago

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 42

etiennebamas 

published a model about 2 months ago

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 42

etiennebamas 

updated a model about 2 months ago

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 18

Lemmy00 

updated 3 models about 2 months ago

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 27

formalmathatepfl/mistral-7B-v0.3-finetuned

Text Generation • 266k • Updated Mar 24 • 185

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 1

Lemmy00 

published 2 models about 2 months ago

formalmathatepfl/mistral-7B-v0.3-finetuned

Text Generation • 266k • Updated Mar 24 • 185

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 1