Toward automated verification of unreviewed AI-generated code

36 points

by peterlavigne

1 days ago

31 comments