Joseph Garvin
@joseph_h_garvin
Joined July 2009
0 Following 0 Followers
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.
