We lifted 4 functions out of this paper's own repositories and ran 3 of them in a sandbox. "Ran" means the function executed on a synthesized input and returned a value. It is not a reproduction of the paper's results.
| Repository | Role | Ran |
|---|---|---|
| pgg3/coevo | canonical | 3 of 4 |
| Function | Status | Where it lives |
|---|---|---|
| fast_non_dominated_sort | Ran | pgg3/coevo/CoEvo/src/coevo/core/nds.py code served (permissive licence) · get_code("69691bb98a112a39") |
| format_list_float_or_none | Ran | pgg3/coevo/CoEvo/src/coevo/utils/string_formatter.py code served (permissive licence) · get_code("bd7cd599e8f5783e") |
| format_str_or_none | Ran | pgg3/coevo/CoEvo/src/coevo/utils/string_formatter.py code served (permissive licence) · get_code("960d3cba8a3c2291") |
| format_float_or_none | Not yet run | pgg3/coevo/CoEvo/src/coevo/utils/string_formatter.py code served (permissive licence) · get_code("f1e8e9cf9573f5ef") |
Some links come from the archived Papers with Code dataset (CC BY-SA 4.0): attribution and licence.
The discovery of symbolic solutions -- mathematical expressions, logical rules, and algorithmic structures -- is fundamental to advancing scientific and engineering progress. However, traditional methods often struggle with search efficiency and fail to integrate knowledge effectively. While recent large language model-based (LLM-based) approaches have demonstrated improvements in search efficiency, they lack the ability to continually refine and expand upon discovered solutions and their underlying knowledge, limiting their potential for open-ended innovation. To address these limitations, we introduce CoEvo, a novel framework that leverages large language models within an evolutionary search methodology to continually generate and refine symbolic solutions. CoEvo integrates a dynamic knowledge library, enabling open-ended innovation of solutions through effective knowledge management. Additionally, CoEvo leverages multiple representations of solutions -- including natural language, mathematical expressions, and code -- to further enhance search efficiency. By combining the reasoning capabilities of LLMs with the exploratory power of evolutionary algorithms, CoEvo significantly improves the efficiency and scope of symbolic discovery. 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 LLMs in the perpetual pursuit of scientific and engineering breakthroughs. Our code is available at https://github.com/pgg3/CoEvo.
The same record, over MCP at https://syntology.ai/mcp:
get_harvested_code_for_paper("2412.18890")
get_code_for_paper("2412.18890")
have("2412.18890")
Connect an agent — have() is free.