formalmathatepfl

AI & ML interests

None defined yet.

Recent Activity

etiennebamas  updated a model 4 days ago

formalmathatepfl/Qwen3-8B-finetuned

etiennebamas  published a model 4 days ago

formalmathatepfl/Qwen3-8B-finetuned

Lemmy00  updated a model 4 days ago

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

View all activity

Team members 6