Semi-formal reasoning helps agents reason about code without executing the code

No comments yet.