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

(arxiv.org) by dnw | Mar 7, 2026 | 0 comments on HN