Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ dependencies = [
]

[project.optional-dependencies]
dev = ["pytest>=8.0", "ruff>=0.5", "mypy>=1.10"]
dev = ["pytest>=8.0", "ruff>=0.5,<0.16", "mypy>=1.10"]

[build-system]
requires = ["hatchling"]
Expand Down
34 changes: 22 additions & 12 deletions src/trinity/adapters/drop.py
Original file line number Diff line number Diff line change
Expand Up @@ -130,9 +130,12 @@ def _maybe_unbox(segment: str) -> str:
return boxed if boxed is not None else ""


#: Surrounding punctuation stripped from a token, EXCLUDING the signs ``+``/``-`` — a
#: leading sign is part of a number's value, not wrapping noise.
_STRIP_EDGE = "".join(c for c in string.punctuation if c not in "+-")
#: Surrounding punctuation stripped from a token, EXCLUDING the signs ``+``/``-`` and
#: the decimal point ``.`` — a leading sign or decimal point is part of a number's
#: value, not wrapping noise. A genuinely-trailing ``.`` (sentence period) is handled
#: by the dedicated rstrip retry in :func:`_normalize_token`, which can tell it apart
#: from a value-bearing leading point; a blanket edge-strip cannot.
_STRIP_EDGE = "".join(c for c in string.punctuation if c not in "+-.")


def _normalize_token(raw: str) -> str:
Expand All @@ -147,20 +150,27 @@ def _normalize_token(raw: str) -> str:
dropped the ``-`` and left commas to break ``float()``) did not deliver.

A token that is ALREADY a number is recognised before any punctuation is
stripped: the edge-strip set includes ``.``, so a leading-decimal token like
``".5"`` would otherwise lose its point and normalize to ``"5.0"`` — equal to
a gold ``"5"`` (false positive) and unequal to the value-identical gold
``"0.5"`` (false negative). The official DROP ``_remove_punc`` tests
``_is_number`` first and leaves numbers untouched for exactly this reason."""
stripped: a leading-decimal token like ``".5"`` must not lose its point and
normalize to ``"5.0"`` — equal to a gold ``"5"`` (false positive) and unequal
to the value-identical gold ``"0.5"`` (false negative). The official DROP
``_remove_punc`` tests ``_is_number`` first and leaves numbers untouched for
exactly this reason (issue #423). The float-first path alone only covers the
*bare* token: with ``.`` in the edge-strip set, wrapped forms like ``"$.5"``
and ``".5."`` still lost the leading point on the second-chance path. So the
edge strip excludes ``.`` entirely, and a genuinely-trailing period (``".5."``,
``"16.."``) is retried with an explicit ``rstrip(".")`` — right-side dots are
sentence punctuation, left-side dots are value."""
try:
return str(float(raw.replace(",", "")))
except ValueError:
pass
core = raw.strip(_STRIP_EDGE)
try:
return str(float(core.replace(",", "")))
except ValueError:
return _PUNCT.sub("", raw)
for cand in (core, core.rstrip(".")):
try:
return str(float(cand.replace(",", "")))
except ValueError:
continue
return _PUNCT.sub("", raw)


def _split_internal_hyphens(token: str) -> list[str]:
Expand Down
3 changes: 3 additions & 0 deletions src/trinity/orchestration/reward.py
Original file line number Diff line number Diff line change
Expand Up @@ -502,6 +502,8 @@ def extract_last_number(text: str) -> str | None:
# comma so the thousands-separator branch below reads it as one number instead
# of splitting it into "1" and "000".
text = text.replace("{,}", ",")
# NBSP / middle-dot thousands separators → ASCII comma (issue #507).
text = text.replace(" ", ",").replace("·", ",").replace("·", ",")
candidates: list[tuple[int, str]] = []
for _start, end, term in _iter_latex_frac_sqrt_spans(text):
candidates.append((end, term))
Expand Down Expand Up @@ -870,6 +872,7 @@ def _mixed_number(m: re.Match[str]) -> str:
# LaTeX digit grouping "1{,}000" -> "1,000" so the comma-strip below removes it
# (a boxed answer like \boxed{2{,}048} otherwise never matches "2048").
s = s.replace("{,}", ",")
s = s.replace(" ", ",").replace("·", ",")

# Strip digit-grouping commas ("2,000" -> "2000", "1,000,000" -> "1000000") so
# a thousands-separated answer is not a false negative. Skip when the answer
Expand Down
11 changes: 11 additions & 0 deletions tests/test_reward_nbsp_middot_thousands.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
"""NBSP and middle-dot thousands must equal 1000 (issue #507)."""
from trinity.orchestration.reward import extract_last_number, score_text

def test_nbsp_thousands():
assert extract_last_number("1\u00a0000") == "1000"
assert score_text("math500", "1\u00a0000", "1000") == 1.0

def test_middot_thousands():
assert extract_last_number("1·000") == "1000"
assert score_text("math500", "1·000", "1000") == 1.0
assert score_text("math500", "1·000", "000") == 0.0
Loading