Job Petrovčič's picture

4

Job Petrovčič

JobPetrovcic

·

JobPetrovcic

AI & ML interests

AI4Maths, AI4Reasoning

Recent Activity

updated a dataset about 1 month ago

JobPetrovcic/GNNPremiseSelection

published a dataset about 1 month ago

JobPetrovcic/GNNPremiseSelection

updated a model 5 months ago

JobPetrovcic/leandojo-lean4-retriever-novel-premises

View all activity

Organizations

None yet

New activity in isp-uv-es/rtm_emulation 9 months ago

Calculation of MRE

#99 opened 9 months ago by

JobPetrovcicSubmission

#107 opened 9 months ago by

Upload 5 files

#112 opened 9 months ago by

RTMSubmission

#103 opened 9 months ago by

JobPetrovcicSubmission

#107 opened 9 months ago by

RTMSubmission

#103 opened 9 months ago by

Calculation of MRE

#99 opened 9 months ago by