Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Giving LLMs a Formal Reasoning Engine for Code Analysis | Better HN
Giving LLMs a Formal Reasoning Engine for Code Analysis
(opens in new tab)
(yogthos.net)
3 points
boriskourt
1mo ago
1 comments
Share
1 comments
default
newest
oldest
boriskourt
OP
1mo ago
repo:
https://github.com/yogthos/chiasmus
j
/
k
navigate · click thread line to collapse
