JobPetrovcic/GNNPremiseSelection
Updated
•
18
Job Petrovčič
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
Organizations
None yet
updated
a
dataset
19 days ago
published
a
dataset
19 days ago
updated
a
model
5 months ago
published
a
model
5 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