Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization.

arXiv:2609.34069v1 Announce Type: new Abstract: The upgrade and rewriting of large scientific codebases has traditionally been a major challenge. While evolutionary search with large language models (LLMs) can port and accelerate legacy code, repair feedback i