From 04e70dabfa85eaac82be3241ad819e074d278771 Mon Sep 17 00:00:00 2001 From: Shay Date: Thu, 28 May 2026 15:56:54 -0700 Subject: [PATCH] Update generate/derivation/verify.py Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com> --- generate/derivation/verify.py | 1 + 1 file changed, 1 insertion(+) diff --git a/generate/derivation/verify.py b/generate/derivation/verify.py index fa579dcd..71f187c0 100644 --- a/generate/derivation/verify.py +++ b/generate/derivation/verify.py @@ -30,6 +30,7 @@ from typing import Final # Canonical grounding primitives — reused so this gate stays identical to the # round-trip filter's notion of "appears in the problem text". from generate.math_roundtrip import _token_in, _tokens, _value_grounds +from collections import Counter from generate.derivation.extract import extract_quantities from generate.derivation.model import GroundedDerivation