Giving LLMs a Formal Reasoning Engine for Code Analysis yogthos.net 3 points by boriskourt a month ago · 1 comment Reader PiP Save boriskourtOP a month ago repo: https://github.com/yogthos/chiasmus