7 ms·Giving LLMs a Formal Reasoning Engine for Code Analysis3 points by davidjade 4mo agodavidjade 4mo agoProject source is here: https://github.com/yogthos/chiasmus https://github.com/yogthos/chiasmus