Hugging Face's logo
Ivo Petrov's picture

Ivo Petrov

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

AI & ML interests

None yet

Recent Activity

updated a dataset 6 days ago
RAG4Math/initial_models
updated a dataset 6 days ago
RAG4Math/initial_results
updated a dataset 6 days ago
RAG4Math/initial_results
View all activity

Organizations

Poly-Math's profile picture INSAIT - RAG for Math's profile picture IMO Prover's profile picture MathArena's profile picture

models

None public yet