Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
ivovpetrov01  updated a collection about 5 hours ago
ProofRank: Evaluating LLM Proof Quality Beyond Correctness
ivovpetrov01  published a dataset about 5 hours ago
INSAIT-Institute/ProofRank-Examples
ivovpetrov01  published a dataset about 5 hours ago
INSAIT-Institute/ProofRank-outputs
View all activity

Papers

Aletheia: What Makes RLVR For Code Verifiers Tick?

AR-VLA: True Autoregressive Action Expert for Vision-Language-Action Models

View all Papers

Articles
ivovpetrov01 
updated a collection about 5 hours ago
ivovpetrov01 
published 2 datasets about 5 hours ago
ivovpetrov01 
updated a collection about 5 hours ago
ivovpetrov01 
updated 3 datasets about 5 hours ago
petkopetkov 
published 2 datasets 11 days ago
petkopetkov 
published a model 11 days ago
petkopetkov 
updated 2 datasets 11 days ago
petkopetkov 
updated a model 11 days ago
LukaMilivojevic 
updated a model 27 days ago
LukaMilivojevic 
published a model 27 days ago
Ronningen 
published a model about 1 month ago
Ronningen 
updated a model about 1 month ago
petkopetkov 
updated a collection about 1 month ago