Skip to content

Top Best Ask Show New Jobs

Giving LLMs a Formal Reasoning Engine for Code Analysis (opens in new tab)

(yogthos.net)

3 pointsboriskourt2mo ago1 comments

1 comments

1 comments · 1 top-level

boriskourtOP2mo ago

repo: https://github.com/yogthos/chiasmus

j / k navigate · click thread line to collapse