Recipe-Matching, Not Equivalence
MathNet-Retrieve asks a retriever to find, for a math problem, a document stating the same problem. An LLM under one fixed prompt writes each gold document and its near-miss distractors; LLM judges filter them. We call this procedure the"recipe", training on pairs built the same way"recipe-matching", and ask how much s...