Hacker Next
Giving LLMs a Formal Reasoning Engine for Code Analysisyogthos.net
3 points by davidjade 2 days ago | 1 comment