{"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/coevo-continual-evolution-of-symbolic","title":"CoEvo: Continual Evolution of Symbolic Solutions Using Large Language Models","arxiv_id":"2412.18890","date":"2024-12-25","proceeding":null,"authors":["Ping Guo","Qingfu Zhang","Xi Lin"],"abstract":"Large Language Models (LLMs) have emerged as transformative tools in artificial intelligence, capable of processing and understanding extensive human knowledge to enhance problem-solving across various domains. This paper explores the potential of LLMs to drive the discovery of symbolic solutions within scientific and engineering disciplines, where such solutions are crucial for advancing theoretical and practical applications. We propose a novel framework that utilizes LLMs in an evolutionary search methodology, augmented by a dynamic knowledge library that integrates and refines insights in an \\textit{open-ended manner}. This approach aims to tackle the dual challenges of efficiently navigating complex symbolic representation spaces and leveraging both existing and newly generated knowledge to foster open-ended innovation. By enabling LLMs to interact with and expand upon a knowledge library, we facilitate the continuous generation of novel solutions in diverse forms such as language, code, and mathematical expressions. Our experimental results demonstrate that this method not only enhances the efficiency of searching for symbolic solutions but also supports the ongoing discovery process, akin to human scientific endeavors. This study represents a first effort in conceptualizing the search for symbolic solutions as a lifelong, iterative process, marking a significant step towards harnessing AI in the perpetual pursuit of scientific and engineering breakthroughs. We have open-sourced our code and data, please visit \\url{https://github.com/pgg3/CoEvo} for more information.","url_abs":"https://arxiv.org/abs/2412.18890v1","url_pdf":"https://arxiv.org/pdf/2412.18890v1.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":"coevo-continual-evolution-of-symbolic","repo_url":"https://github.com/pgg3/coevo","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[],"methods":[{"method_slug":null,"method_name":"Library"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2412.18890","atlas_url":"https://app.syntology.ai/?focus=2412.18890","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2412.18890"}},"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":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/pgg3/coevo","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran":3,"unverified":1},"by_repo_kind":{"official":{"samples":4,"ran":3,"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":0,"samples":[{"code_sha256_prefix":"69691bb98a112a39","entry":"fast_non_dominated_sort","repo":"pgg3/coevo","repo_kind":"official","path":"CoEvo/src/coevo/core/nds.py","file_url":"https://github.com/pgg3/coevo/blob/HEAD/CoEvo/src/coevo/core/nds.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"69691bb98a112a39"}},{"code_sha256_prefix":"bd7cd599e8f5783e","entry":"format_list_float_or_none","repo":"pgg3/coevo","repo_kind":"official","path":"CoEvo/src/coevo/utils/string_formatter.py","file_url":"https://github.com/pgg3/coevo/blob/HEAD/CoEvo/src/coevo/utils/string_formatter.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"bd7cd599e8f5783e"}},{"code_sha256_prefix":"960d3cba8a3c2291","entry":"format_str_or_none","repo":"pgg3/coevo","repo_kind":"official","path":"CoEvo/src/coevo/utils/string_formatter.py","file_url":"https://github.com/pgg3/coevo/blob/HEAD/CoEvo/src/coevo/utils/string_formatter.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"960d3cba8a3c2291"}},{"code_sha256_prefix":"f1e8e9cf9573f5ef","entry":"format_float_or_none","repo":"pgg3/coevo","repo_kind":"official","path":"CoEvo/src/coevo/utils/string_formatter.py","file_url":"https://github.com/pgg3/coevo/blob/HEAD/CoEvo/src/coevo/utils/string_formatter.py","link_basis":"harvester_set","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":"f1e8e9cf9573f5ef"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}