GoalScope — sqrt_floor (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
↵
<code>↵
def sqrt_floor(n):↵
"""Compute the floor of the square root of n."""↵
if n < 2:↵
return n↵
low, high = 1, n // 2↵
while low <= high:↵
mid = (low + high) // 2↵
if mid * mid == n:↵
return mid↵
elif mid * mid < n:↵
low = mid + 1↵
else:↵
high = mid - 1↵
return high↵
</code>