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.
