Hugging Face's logo
Timon Gehr's picture

Timon Gehr

tgehr
ยท

AI & ML interests

None yet

Organizations

Poly-Math's profile picture IMO Prover's profile picture

models 0

None public yet

datasets 0

None public yet