{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/learning-mdl-logic-programs-from-noisy-data","title":"Learning MDL logic programs from noisy data","arxiv_id":"2308.09393","date":"2023-08-18","proceeding":null,"authors":["Céline Hocquette","Andreas Niskanen","Matti Järvisalo","Andrew Cropper"],"abstract":"Many inductive logic programming approaches struggle to learn programs from noisy data. To overcome this limitation, we introduce an approach that learns minimal description length programs from noisy data, including recursive programs. Our experiments on several domains, including drug design, game playing, and program synthesis, show that our approach can outperform existing approaches in terms of predictive accuracies and scale to moderate amounts of noise.","url_abs":"https://arxiv.org/abs/2308.09393v1","url_pdf":"https://arxiv.org/pdf/2308.09393v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"learning-mdl-logic-programs-from-noisy-data","repo_url":"https://github.com/celinehocquette/aaai24-maxsynth","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":{"status":"ok"}}],"tasks":[{"task_slug":"drug-design","task_name":"Drug Design"},{"task_slug":"inductive-logic-programming","task_name":"Inductive logic programming"},{"task_slug":"program-synthesis","task_name":"Program Synthesis"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2308.09393","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2308.09393"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/celinehocquette/aaai24-maxsynth","reach":{"status":"ok"}}],"summary":{"ran":13,"unverified":3},"by_repo_kind":{"official":{"samples":16,"ran":13,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":16,"samples":[{"code_sha256_prefix":"9c6d71153ed94aa7","entry":"accuracy","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"parse_results.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/parse_results.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"9c6d71153ed94aa7"}},{"code_sha256_prefix":"47d20265bdd28060","entry":"anytime_maxsat_solve","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/maxsat.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/maxsat.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"47d20265bdd28060"}},{"code_sha256_prefix":"5987bedd63b8b6ae","entry":"generate_binary_strings","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/tester.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/tester.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5987bedd63b8b6ae"}},{"code_sha256_prefix":"9306d3c0c397dcac","entry":"get_prog_hash","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/loop.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/loop.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"9306d3c0c397dcac"}},{"code_sha256_prefix":"3b7a257af2da5644","entry":"get_raw_prog","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/explain.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/explain.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"3b7a257af2da5644"}},{"code_sha256_prefix":"e98d3a560d2de563","entry":"get_rule_hash","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/combine_ms.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/combine_ms.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e98d3a560d2de563"}},{"code_sha256_prefix":"57c48bcb82175cdb","entry":"load_kbpath","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/util.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/util.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"57c48bcb82175cdb"}},{"code_sha256_prefix":"b069752a8647832a","entry":"rename_variables","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/explain.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/explain.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b069752a8647832a"}},{"code_sha256_prefix":"10793ecbdcfe2e56","entry":"rule_hash","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/explain.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/explain.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"10793ecbdcfe2e56"}},{"code_sha256_prefix":"8bd5b106d5105bb2","entry":"rule_vars","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/loop.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/loop.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"8bd5b106d5105bb2"}},{"code_sha256_prefix":"f3b4182c7585fed8","entry":"std_dev","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"parse_results.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/parse_results.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"f3b4182c7585fed8"}},{"code_sha256_prefix":"01b42a5eaf6873a5","entry":"std_err","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"parse_results.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/parse_results.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"01b42a5eaf6873a5"}},{"code_sha256_prefix":"829094d074a416ac","entry":"timeout","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/util.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/util.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"829094d074a416ac"}},{"code_sha256_prefix":"52cf46d5408c2323","entry":"explain_incomplete","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/loop.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/loop.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"52cf46d5408c2323"}},{"code_sha256_prefix":"c7919aea9aec45cd","entry":"find_all_vars","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/generate.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/generate.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c7919aea9aec45cd"}},{"code_sha256_prefix":"50243c7c76f5dad0","entry":"format_prog","repo":"celinehocquette/aaai24-maxsynth","repo_kind":"official","path":"maxsynth/popper/util.py","file_url":"https://github.com/celinehocquette/aaai24-maxsynth/blob/HEAD/maxsynth/popper/util.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"50243c7c76f5dad0"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}