4 ms·Giving LLMs a Formal Reasoning Engine for Code Analysis3 points by boriskourt 7mo agoboriskourt 7mo agorepo: https://github.com/yogthos/chiasmus https://github.com/yogthos/chiasmus