formalmathatepfl

AI & ML interests

None defined yet.

Recent Activity

Lemmy00  updated a dataset 7 days ago

formalmathatepfl/sft_classic_numina

Lemmy00  published a dataset 7 days ago

formalmathatepfl/sft_classic_numina

Lemmy00  updated a model 9 days ago

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

View all activity

Team members 8