[7] [ arXiv:2608.27311 ](https://arxiv.org/abs/2608.27311 "Abstract") [[pdf](https://arxiv.org/pdf/2608.27311 "Download PDF"), [html](https://arxiv.org/html/2608.27311v1 "View HTML"), [other](https://

Abstract

[7] [ arXiv:2608.27311 ](https://arxiv.org/abs/2608.27311 "Abstract") [[pdf](https://arxiv.org/pdf/2608.27311 "Download PDF"), [html](https://arxiv.org/html/2608.27311v1 "View HTML"), [other](https://arxiv.org/format/2608.27311 "Other formats")] Title: Verify Smarter, Evolve Further: Efficient Harness Evolution through Behavior-Aware Verification [Jinghan Xu](https://arxiv.org/search/cs?searchtype=author&query=Xu,+J), [Yikai Zhang](https://arxiv.org/search/cs?searchtype=author&query=Zhang