{"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/library-learning-doesn-t-the-curious-case-of","title":"Library Learning Doesn't: The Curious Case of the Single-Use \"Library\"","arxiv_id":"2410.20274","date":"2024-10-26","proceeding":null,"authors":["Ian Berlot-Attwell","Frank Rudzicz","Xujie Si"],"abstract":"Advances in Large Language Models (LLMs) have spurred a wave of LLM library learning systems for mathematical reasoning. These systems aim to learn a reusable library of tools, such as formal Isabelle lemmas or Python programs that are tailored to a family of tasks. Many of these systems are inspired by the human structuring of knowledge into reusable and extendable concepts, but do current methods actually learn reusable libraries of tools? We study two library learning systems for mathematics which both reported increased accuracy: LEGO-Prover and TroVE. We find that function reuse is extremely infrequent on miniF2F and MATH. Our followup ablation experiments suggest that, rather than reuse, self-correction and self-consistency are the primary drivers of the observed performance gains. Our code and data are available at https://github.com/ikb-a/curious-case","url_abs":"https://arxiv.org/abs/2410.20274v1","url_pdf":"https://arxiv.org/pdf/2410.20274v1.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":"library-learning-doesn-t-the-curious-case-of","repo_url":"https://github.com/ikb-a/curious-case","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[{"task_slug":"math","task_name":"Math"},{"task_slug":"mathematical-reasoning","task_name":"Mathematical Reasoning"}],"methods":[{"method_slug":null,"method_name":"Library"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2410.20274","atlas_url":"https://app.syntology.ai/?focus=2410.20274","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2410.20274"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+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":"deterministic:regex_extraction","url":"https://github.com/ikb-a/curious-case","reach":null},{"provenance":"deterministic:regex_extraction","url":"https://github.com/wiio12/LEGO-Prover","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran_fixture":1,"ran_honours":1,"unverified":4},"by_repo_kind":{"official":{"samples":2,"ran":2,"repositories":1},"found_in_text":{"samples":4,"ran":0,"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":2,"samples":[{"code_sha256_prefix":"be0c7b5ae497c20e","entry":"count","repo":"ikb-a/curious-case","repo_kind":"official","path":"trove/ablation_experiment_results/other_runs/base_count_ablat1_run1/tmp_exec_math-counting2024-09-20T12:41:14,939404299-04:00.py","file_url":"https://github.com/ikb-a/curious-case/blob/HEAD/trove/ablation_experiment_results/other_runs/base_count_ablat1_run1/tmp_exec_math-counting2024-09-20T12%3A41%3A14%2C939404299-04%3A00.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"be0c7b5ae497c20e"}},{"code_sha256_prefix":"e6a36cb0d847d177","entry":"digits","repo":"ikb-a/curious-case","repo_kind":"official","path":"trove/ablation_experiment_results/other_runs/base_count_ablat1_run1/tmp_exec_math-counting2024-09-20T12:41:14,939404299-04:00.py","file_url":"https://github.com/ikb-a/curious-case/blob/HEAD/trove/ablation_experiment_results/other_runs/base_count_ablat1_run1/tmp_exec_math-counting2024-09-20T12%3A41%3A14%2C939404299-04%3A00.py","link_basis":"first_harvest_node","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e6a36cb0d847d177"}},{"code_sha256_prefix":"377feaa4a69f18d2","entry":"is_sequence","repo":"wiio12/LEGO-Prover","repo_kind":"found_in_text","path":"lego_prover/utils/file_utils.py","file_url":"https://github.com/wiio12/LEGO-Prover/blob/HEAD/lego_prover/utils/file_utils.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"377feaa4a69f18d2"}},{"code_sha256_prefix":"4926aacb60add226","entry":"pack_varargs","repo":"wiio12/LEGO-Prover","repo_kind":"found_in_text","path":"lego_prover/utils/file_utils.py","file_url":"https://github.com/wiio12/LEGO-Prover/blob/HEAD/lego_prover/utils/file_utils.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"4926aacb60add226"}},{"code_sha256_prefix":"2858c9de61ad0a2c","entry":"similar","repo":"wiio12/LEGO-Prover","repo_kind":"found_in_text","path":"lego_prover/agents/skill.py","file_url":"https://github.com/wiio12/LEGO-Prover/blob/HEAD/lego_prover/agents/skill.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"2858c9de61ad0a2c"}},{"code_sha256_prefix":"edd852217838fe9c","entry":"utf_open","repo":"wiio12/LEGO-Prover","repo_kind":"found_in_text","path":"lego_prover/utils/file_utils.py","file_url":"https://github.com/wiio12/LEGO-Prover/blob/HEAD/lego_prover/utils/file_utils.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"edd852217838fe9c"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}