Writing

  1. Toward automated verification of unreviewed AI-generated code
Diagram of a cyclical dependency and some question marks