Toward automated verification of unreviewed AI-generated code

45 points

by peterlavigne

1 days ago

37 comments