Formal Specification-Based Code Review via LLMs.

Jiandong Li, Shaoying Liu

Browse the full TASE paper archive.