Y
Hacker News
new
|
ask
|
show
|
jobs
Giving LLMs a Formal Reasoning Engine for Code Analysis
(
yogthos.net
)
3 points
by
boriskourt
64 days ago
1 comments
boriskourt
64 days ago
repo:
https://github.com/yogthos/chiasmus
link