: ntrastive Learning for Autoated tch Correctness Aessment in Program Repair (Empirical Software Engineering (Open Access Articles), 2026)