Giving LLMs a Formal Reasoning Engine for Code Analysis yogthos.net 3 points by davidjade 3 months ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread davidjadeOP 3 months ago Project source is here: https://github.com/yogthos/chiasmus