Hugging Face's logo
Simon Frieder's picture

Simon Frieder PRO

friederrr
1
EncikAM's profile picture ramanbansal's profile picture catalin-hanga's profile picture
ยท

AI & ML interests

language models, deep learning, mathematics

Recent Activity

updated a model about 1 month ago
fieldsmodelorg/FM-Pochi-32B-ProofPilot
updated a dataset about 2 months ago
AI-MO/PolyUniMath
updated a dataset 4 months ago
friederrr/PolyUniMath
View all activity

Organizations

University of Oxford's profile picture Project-Numina's profile picture nnmath's profile picture Temporary-Newclid-Org's profile picture Newclid-temp-org1's profile picture AIMO Data Dev's profile picture Benchmarks+Baselines's profile picture B n B's profile picture Benchmarks + Baselines's profile picture Fields Model's profile picture