↑
Giving LLMs a Formal Reasoning Engine for Code Analysis
Posted by
davidjade
|
2 hours ago |
1 comments
davidjade 2 hours ago
Project source is here:
https://github.com/yogthos/chiasmus
