arXiv:2405.06399 [cs.LG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords inductive logic programming, program synthesis, reasoning corpus, create logic program, general artificial intelligence benchmark Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset