Giving LLMs a Formal Reasoning Engine for Code Analysisyogthos.net 3 pointsboriskourt5 months ago1 commentSaveHideCopy link On HNComments−boriskourtOP5morepo: https://github.com/yogthos/chiasmus
Comments
repo: https://github.com/yogthos/chiasmus