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