GoalScope — validate (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
↵
<code>↵
def validate(n):↵
"""Check if the frequency of each digit in n is less than or equal to the digit itself."""↵
from collections import Counter↵
d = Counter(str(n))↵
return all(int(k) >= v for k, v in d.items())↵
</code>