Llm-Assisted Crossover in Genetic Improvement of Software. - Dimitrios Stamatios Bouras; Sergey Mechtaev; Justyna Petke (GI@ICSE, 2025)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. - Dimitrios Stamatios Bouras; Yihan Dai; Tairan Wang; Yingfei Xiong 001; Sergey Mechtaev (CoRR, 2025)