Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
4
Job Petrovčič
JobPetrovcic
Follow
0 followers
·
1 following
JobPetrovcic
AI & ML interests
AI4Maths, AI4Reasoning
Recent Activity
updated
a dataset
19 days ago
JobPetrovcic/GNNPremiseSelection
published
a dataset
19 days ago
JobPetrovcic/GNNPremiseSelection
updated
a model
5 months ago
JobPetrovcic/leandojo-lean4-retriever-novel-premises
View all activity
Organizations
None yet
JobPetrovcic
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a dataset
19 days ago
JobPetrovcic/GNNPremiseSelection
Updated
19 days ago
•
18
published
a dataset
19 days ago
JobPetrovcic/GNNPremiseSelection
Updated
19 days ago
•
18
updated
a model
5 months ago
JobPetrovcic/leandojo-lean4-retriever-novel-premises
0.2B
•
Updated
Sep 21, 2025
published
a model
5 months ago
JobPetrovcic/leandojo-lean4-retriever-novel-premises
0.2B
•
Updated
Sep 21, 2025
New activity in
isp-uv-es/rtm_emulation
8 months ago
Calculation of MRE
3
#99 opened 8 months ago by
JobPetrovcic
JobPetrovcicSubmission
2
#107 opened 8 months ago by
JobPetrovcic
Upload 5 files
#112 opened 8 months ago by
JobPetrovcic
RTMSubmission
#103 opened 8 months ago by
JobPetrovcic
JobPetrovcicSubmission
2
#107 opened 8 months ago by
JobPetrovcic
RTMSubmission
#103 opened 8 months ago by
JobPetrovcic
Calculation of MRE
3
#99 opened 8 months ago by
JobPetrovcic