ConceptProgram Evolution / 进化算法
program evolution
A search paradigm that uses evolutionary algorithms to automatically generate and optimize programs. It is often combined with LLMs for the discovery of mathematical constructions.
Timeline (last 90 days)
Nov 2
The study proposes a "researcher-in-the-loop" discovery pipeline that combines program evolution, precise evaluation, mathematical generalization, non-existence certification checks, and formal proof checking.
Unverified50%