RSS

metachirality

Karma: 412

metachiral­ity’s Shortform

metachirality18 Mar 2024 6:19 UTC
4 points
11 comments1 min readLW link

[Question] Is any­one work­ing on for­mally ver­ified AI toolchains?

metachirality12 Mar 2024 19:36 UTC
17 points
2 comments1 min readLW link