formalmathatepfl

university

https://www.epfl.ch/en/

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 2 days ago

formalmathatepfl/qwen3-cpt

etiennebamas published a model 2 days ago

formalmathatepfl/qwen3-cpt

Lemmy00 updated a dataset 2 days ago

formalmathatepfl/feedback_data_training

View all activity

formalmathatepfl 's models 28

formalmathatepfl/qwen3-cpt

Text Generation • 308k • Updated 2 days ago • 375

formalmathatepfl/feedback-dropout-even

Text Generation • 308k • Updated Jun 25 • 7

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

7B • Updated Jun 3 • 6

formalmathatepfl/qwen3-dropout-0.75

Text Generation • 308k • Updated Jun 3 • 8

formalmathatepfl/qwen3-dropout-0.5

308k • Updated Jun 3 • 6

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

7B • Updated May 25 • 3

formalmathatepfl/apertus-cpt-sft-classic

274k • Updated May 25 • 6

formalmathatepfl/apertus-cpt-sft-feedback

Text Generation • 274k • Updated May 25 • 8

formalmathatepfl/Apertus-8B-cpt

Text Generation • 274k • Updated May 23 • 5

formalmathatepfl/deepseek-prover-v2-grpo-800

Reinforcement Learning • 7B • Updated May 22 • 16

formalmathatepfl/qwen3-8b-sft-feedback-equal-compute

308k • Updated May 21 • 5 • 1

formalmathatepfl/qwen3-8b-sft-feedback

308k • Updated May 21 • 91

formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e

Text Generation • 7B • Updated May 19 • 22

formalmathatepfl/qwen3-8b-sft

Text Generation • 308k • Updated May 19 • 2.94k

formalmathatepfl/deepseek-prover-v2-cpt-sft-1e

Text Generation • 7B • Updated May 17 • 17

formalmathatepfl/deepseek-prover-v2-cpt

Text Generation • 7B • Updated May 16 • 26

formalmathatepfl/Qwen30b-sft-feedback

211k • Updated May 14 • 2

formalmathatepfl/Qwen30b-sft-no-feedback

Text Generation • 211k • Updated May 14 • 5

formalmathatepfl/Qwen-30b-cpt

Text Generation • 211k • Updated May 12 • 6

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated Apr 7 • 13

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 9

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 7

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 9

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

Text Generation • 266k • Updated Mar 24 • 9

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 5

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 7

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 12

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 7