The program construction landscape is undergoing a profound evolution driven by machine learning. Previously , tasks like code writing, verification, and debugging were largely manual processes. Now, https://ttslab.online