Joseph Garvin
@joseph_h_garvin
参加 July 2009
0 フォロー中 0 ファン
Astra just found a bug in Anthropic's formal verification example, their "specification" doesn't actually check output bytes match input bytes. The irony is thick.
