Hacker News new | ask | show | jobs
Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net)
2 points by fogus 48 days ago