Hugging Face's logo
Ivo Petrov's picture
1

Ivo Petrov

ivovpetrov01
NikiGCC's profile picture 21world's profile picture mislavb's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset about 23 hours ago
INSAIT-Institute/ProofRank
published a dataset about 23 hours ago
INSAIT-Institute/ProofRank
updated a dataset 3 months ago
AIMO-Corpus/PolyMath
View all activity

Organizations

Institute for Computer Science, Artificial intelligence and Technology 's profile picture Poly-Math's profile picture INSAIT - RAG for Math's profile picture IMO Prover's profile picture MathArena's profile picture AIMO Corpus's profile picture