Executable Verification on Software Engineering Grouphttps://seg.inf.unibe.ch/keywords/executable-verification/Recent content in Executable Verification on Software Engineering GroupHugoen-USSoftware Engineering Group (SEG), [Institute of Computer Science](https://www.inf.unibe.ch/), [University of Bern](https://www.unibe.ch/). All rights reserved.Generating Reliable Synthetic Training Data from Code Repositorieshttps://seg.inf.unibe.ch/teaching/student-projects/current/t0099-synthetic-data-generation-for-code/Mon, 01 Jan 0001 00:00:00 +0000https://seg.inf.unibe.ch/teaching/student-projects/current/t0099-synthetic-data-generation-for-code/Language models can generate programming exercises and solutions, but incorrect answers, weak tests, and repetitive tasks can limit their value as training data. This thesis builds on CodifieRL to generate synthetic coding tasks from real repositories and investigate whether execution-based filtering improves their quality and usefulness for training code models.