task_categories:image-classification language:en license:cc-by-4.0 size_categories:10K<n<100K arxiv:2306.07743 region:us vlol v-lol visual logical learning reasoning visual reasoning logical reasoning ILP Symbolic AI logic Inductive logic programming