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