advanced28 min studyLesson 609 in Engineering

Generated examples need provenance and evidence beyond their judge's approval

Trace generation and filtering decisions, quantify retained yield, and evaluate synthetic data with independent checks while keeping recursive-training claims scoped to their assumptions.

On this page

What you’ll understand

  • Record generation lineage and filter decisions for reproducible synthetic examples.
  • Calculate retained yield, expected rubric-valid examples, and generation-token accounting.
  • Distinguish useful augmentation from correlated judge errors and recursive distribution loss.

Synthetic data is produced by a system with its own sources, preferences, and failure modes. It can expand task coverage or provide inexpensive candidate demonstrations, but generation does not certify correctness, originality, permission, or diversity. Treat each example as a derived artifact with a generation record and independent acceptance evidence. A fluent answer approved by the same family of models may repeat a shared error, and a large retained token count can conceal a much smaller collection of genuinely distinct and useful behaviors.

Record enough lineage to explain the generation

Capture the generator identity and immutable revision when available, prompt template, source inputs, decoding configuration, seed where meaningful, tool responses, and generation time. An API name alone may not identify stable model behavior, so record the provider's available version information and acknowledge what cannot be reproduced. Keep the connection to seed instructions and retrieved documents: paraphrasing or generating a response does not automatically erase source conditions or sensitive information. The project's source-admission process still applies to inputs and derived use without inventing a universal legal status for generated text.

Self-Instruct is a primary example of generating instructions, inputs, and outputs, then filtering invalid or similar examples before instruction tuning. Its experiments demonstrate a specific augmentation approach, not that every generated answer is correct or that every model can improve through unlimited self-copying. Record why candidates were rejected or retained, including similarity rules and judge versions. Deduplicate against other generated examples and admitted human material under a stated representation. Preserve sufficient lineage to investigate an erroneous example without unnecessarily exposing sensitive raw prompts in routine public metadata.

y=KG,0≤K≤G,G>0y=\frac{K}{G},\qquad 0\le K\le G,\quad G>0
G is the generated candidate count and K the retained count under one fixed filter. Dimensionless yield y describes acceptance, not correctness or diversity. If token lengths vary, candidate-count yield and retained-token yield are different quantities and should be reported separately.↔ Scroll wide equations horizontally.

Judge independence is an empirical question

Choose checks suited to the task: executable tests for some code, verifiable calculations for constrained mathematics, source-grounded evidence checks, and independent human review where appropriate. Passing a test suite proves only the tested behavior, and a model judge can reward persuasive explanations containing the wrong answer. If generator and judge share training data or reasoning patterns, their errors may correlate. Evaluate the retained set with a separate process and also inspect rejected examples, so the acceptance filter's precision and coverage can be estimated instead of inferred from its own confidence.

Track usable yield together with costs. Generating many low-quality candidates can be worthwhile when validation is reliable and cheap, but accepted volume alone hides both waste and residual defects. Estimate the retained set's rubric-valid fraction on an independent audit and report uncertainty. Multiplying candidate count, retention fraction, and measured valid fraction gives an expected useful count under a stated transfer assumption; it is not a guaranteed count or a proof that every useful example teaches a unique skill. Include generation, judging, and storage costs separately when comparing pipelines.

E[U]=Gyq\mathbb E[U]=G y q
U is the count satisfying the fixed usefulness rubric among retained candidates; q is their common marginal probability of satisfying it, assumed applicable to the target retained set. G and U use example units. No independence is required for this expectation under valid marginals, but an audit estimate of q carries uncertainty and can shift across tasks.↔ Scroll wide equations horizontally.

Protect rare coverage and independent evaluation

Recursive-training studies such as The Curse of Recursion analyze and demonstrate settings where learning repeatedly from generated material loses parts of the original distribution, especially its tails. That is a warning about feedback and replacement assumptions, not a theorem that all synthetic augmentation is harmful. Preserve appropriate real-data anchors, monitor rare tasks and languages, and test alternative synthetic proportions under controlled budgets. A judge that favors common formats can amplify selection even before training. Trace generations back through their parent models when comparing releases so recursive reuse is visible rather than mislabeled as independent fresh data.

The sampling lab examines an assumed retained-error audit. Reset, explicitly set BOTH error probability p=0.2 and n=20, predict sample-mean variance 0.008, then Play or Step. Reset and re-set BOTH p=0.2 and n=100; predict 0.0016. Edits retain t; playback highlights the exact iid distribution rather than generating examples. The displayed CDF bound concerns the normal approximation, not model-judge reliability or recursive collapse. There are no prompts, generators, benchmark searches, or correlated answers here, so actual audits still need task-specific design and protected external evaluations.

Count retained output without confusing it with verified usefulness

A fictional generator produces one thousand candidates, each exactly two hundred output tokens. A filter retains six hundred. Assume an independent audit's eighty-percent rubric-valid estimate applies to the retained population; ignore input and judging tokens for this output-only calculation.

  1. Generated output totals 1000×200=200000 tokens. Candidate-count yield is 600/1000=0.6 and retained output totals 600×200=120000 tokens.

  2. With q=0.8 applying to retained candidates, expected rubric-valid retained count is 1000×0.6×0.8=480 examples. The other retained examples are not made valid by the filter's approval.

  3. Output generation uses 200000/480≈416.67 tokens per expected rubric-valid example under these assumptions. A full cost comparison must additionally include inputs, judging, audit work, uncertainty, and diversity rather than presenting this limited ratio as total efficiency.

The result

Retained volume, expected rubric validity, generation cost, and distinct training value are four different quantities.

Explore the model

Interactive lab

Interactive lab · sampling

An independent retained-set audit has finite-sample uncertainty

For EACH run Reset, set BOTH p and n, predict, then Play or Step. At hypothetical retained-error p=0.2 compare n=20, mean-error variance 0.008, with n=100, 0.0016. Edits retain t; playback highlights exact iid outcomes. The CDF approximation bound is not a bar-error or judge-quality guarantee. No generation, validation, or recursive training is simulated.

An independent retained-set audit has finite-sample uncertaintyExact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Current readings: Mean sample proportion: 0.5; Sample-mean variance: 0.0125; Uniform CDF error bound: ≤ 0.1062. All parameters are adjustable with the labeled controls below.Exact distribution of the mean of 20 independent Bernoulli variables with success probability 0.5; playback highlights outcome 0.00.250.50.75100.0580.1150.1730.23Sample mean · k / nProbability massNormal bin masses are an approximationk = 0 · exact probability = 9.54e-7
Exact binomial massNormal interval massHighlighted outcome / mean
Mean sample proportion
0.5
Sample-mean variance
0.0125
Uniform CDF error bound
≤ 0.1062
t = 0 s

Exact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA judge's accepted set needs independent assessment; increasing an audit sample does not repair shared model blind spots.

Check your understanding

A generator's own judge approves ninety percent of its answers. What is the strongest justified interpretation before independent validation?

Try it yourself

Five hundred generated candidates each contain one hundred output tokens. A filter retains forty percent, and an independently supported valid fraction among retained examples is 0.9. Calculate retained count, expected valid count, and generated output tokens per expected valid example.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Account for generated output before applying retention, then distinguish yield from validity.

Compare with the solution

Retained count is 500×0.4=200; expected valid count is 200×0.9=180. Generated output totals 500×100=50000 tokens, giving 50000/180≈277.78 output tokens per expected valid example. This excludes input, judge, and audit costs and assumes the validity estimate transfers to the retained population.

Take it with you

  • Synthetic examples remain derived artifacts with generator, prompt, source, and filter lineage.
  • Acceptance yield does not establish correctness, diversity, or independent judge reliability.
  • Recursive-distribution risks require scoped experiments and protected real-data evaluation.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.