Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization
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 in prompts alone does not prevent subsequent candidates from repeating the same errors. We introduce Certific...
Piyush Jha, A. Ghosh, Vijay Ganesh
· 0 citations