Hugging Face's logo
Job Petrovčič's picture
4

Job Petrovčič

JobPetrovcic
·

AI & ML interests

AI4Maths, AI4Reasoning

Recent Activity

updated a dataset 6 days ago
JobPetrovcic/GNNPremiseSelection
published a dataset 6 days ago
JobPetrovcic/GNNPremiseSelection
updated a model 4 months ago
JobPetrovcic/leandojo-lean4-retriever-novel-premises
View all activity

Organizations

None yet