GoalScope — add_binary (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
↵
<code>↵
def add_binary(a, b):↵
"""Add two binary strings and return their sum as a binary string."""↵
max_len = max(len(a), len(b))↵
a = a.zfill(max_len)↵
b = b.zfill(max_len)↵
result = ''↵
carry = 0↵
↵
for i in range(max_len - 1, -1, -1):↵
total = carry↵
total += 1 if a[i] == '1' else 0↵
total += 1 if b[i] == '1' else 0↵
result = ('1' if total % 2 == 1 else '0') + result↵
carry = 0 if total < 2 else 1↵
↵
if carry !=0 : result = '1' + result↵
↵
return result↵
</code>