Hugging Face's logo
Ivo Petrov's picture

Ivo Petrov

ivovpetrov01
1
21world's profile picture mislavb's profile picture NikiGCC's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a dataset 4 days ago
INSAIT-Institute/SaberMath-queries
updated a dataset 4 days ago
INSAIT-Institute/SaberMath-documents
updated a collection 6 days ago
SABER-Math
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