Suggesting fixes to students' code by using a solver to explore modifications to the program! https://youtu.be/NAoSTmCUlW0 (uses sketch)
miniblog.
Related Posts
LLMs seem to handle dependency upgrades really well.
The task is well-specified, there's usually a build/test suite to check correctness of the modifications, and there's often a changelog they can consume too.