Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization
Certificate-Driven Evolutionary Search (CDES) improves evolutionary search by using failed candidate results to create enforceable restrictions, or 'certificates.' This system guides an LLM mutator to generate optimized code for scientific programs. The process uses a rigorous evaluation harness that checks code correctness against formal and numerical standards, proving CDES can reliably port legacy scientific code.