Hacker News
new
top
best
ask
show
job

Giving LLMs a Formal Reasoning Engine for Code Analysis(yogthos.net)

1 pointby davidjadean hour ago1 comment

davidjadean hour ago
Project source is here: https://github.com/yogthos/chiasmus

Guidelines
FAQ
Lists
API
Security
Legal
Apply to YC
Contact

Search: