Giving LLMs a Formal Reasoning Engine for Code Analysisyogthos.net 3 pointsdavidjade3 months ago1 commentSaveHideCopy link On HNComments−davidjadeOP3moProject source is here: https://github.com/yogthos/chiasmus
Comments
Project source is here: https://github.com/yogthos/chiasmus