AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

Han Zhou, Yu Luo, Dianxiang Xu

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.