Hugging Face's logo
Ivo Petrov's picture

Ivo Petrov

ivovpetrov01
INSAIT-Institute
1
mislavb's profile picture 21world's profile picture NikiGCC's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a collection 7 days ago
ProofRank: Evaluating LLM Proof Quality Beyond Correctness
published a dataset 7 days ago
INSAIT-Institute/ProofRank-Examples
published a dataset 7 days ago
INSAIT-Institute/ProofRank-outputs
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 MathArena's profile picture IMO Prover's profile picture AIMO Corpus's profile picture