JobPetrovcic/leandojo-lean4-retriever-novel-premises
0.2B
•
Updated
•
6
Job Petrovčič
JobPetrovcic
·
AI & ML interests
AI4Maths, AI4Reasoning
Organizations
None yet
datasets
0
None public yet