3 ms·Semi-formal reasoning helps agents reason about code without executing the code1 points by dnw 7mo ago