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