Knowledge unlearning
Claude Sonnet 5 · Claude Code · low effort
Public case ID: claude__openunlearning_tofu_npo_llama3p2_1b__claude-sonnet-5__low
Recipe shift
What the agent changed
Shipped baseline
Apply negative preference optimization to the TOFU forget split while retaining general model utility.
Starting artifact: Llama-3.2-1B-Instruct
Candidate algorithm
Both baseline and candidate follow: fixed forget/retain text → current/reference answer likelihoods → NPO forget signal plus retain-answer NLL → full-model optimization → standalone export. The candidate leaves data, sampling, β=0.1, loss weights, retain NLL, learning rate 1.5e-5, effective batch 32, and trainable parameters unchanged. It replaces linear decay with 10% warmup then constant learning rate, raises nominal epochs from 10 to 240, saves every 300 steps with three retained artifacts, and hardens wall-clock export. This is schedule, hyperparameter, checkpoint-policy, and engineering tuning—not a new…
Exploration and replay evidence
Four-hour exploration
The common deterministic proxy was forget Δanswer-NLL − max(0, retain Δanswer-NLL), higher better, on 24 training rows per split with no error bars; it is not an official-score estimate. The ten-epoch seed-0 baseline took 564.9 seconds and improved from 1.4282 at epoch 5 to 1.7023 at recorded epoch 9. Replacing retain NLL with Kullback–Leibler (KL) divergence scored only 1.3998 late, so KL was rejected. A 30-epoch linear run reached 2.8248 at epoch 25 and slipped to 2.8164 at recorded epoch 27; a nominal 60-epoch linear plan reached 3.4998 at epoch 30, suggesting slower decay mattered. A 100-epoch run stopped near epoch 4.6 without an interpretable result. After one Hydra-key launch failure, a 50-epoch constant schedule completed in 2,365.4 seconds and rose through 2.4784/3.3891/3.7697/4.1284 at epochs 10/20/30/recorded 46, so it was selected, although this was one seed and the submitted 240-epoch horizon was a fivefold extrapolation. A wall-clock smoke test initially left pending_export; corrected expected-exit handling and a final eight-step smoke produced independently loadable 1,235,814,400-parameter models. The agent then submitted after about 2 hours 35 minutes with 5,115 seconds and no active work left, although a measured seed replication fit comfortably.
Formal replay
Formal training completed, but wall_clock_stop=false: it ended naturally at fixed step 2,880/recorded epoch 221.56 after 10,108.5 wrapper seconds, using about 10,161.2 of 43,200 seconds (23.52%). All three standalone artifacts validated; formal replay produced no proxy receipt. At checkpoint-2400/epoch 184.64, balanced score was 0.968523, Extraction 0.059327 lower-better on forget n=400, and Model Utility (MU) 0.560754 higher-better over retain n=400, real-authors n=100, and world-facts n=117. At 2700/207.72, values were 0.967102, 0.062543, and 0.561783; at 2880/221.56, 0.954193, 0.061974, and 0.546931. No standard errors or confidence intervals were reported. Checkpoint-2400 was best; later utility fell. Thus the constant long schedule produced a strong model, but the proxy's monotonic “later is better” direction did not survive the distinct final protocol.
Official reduction rule
Best of up to 3 retained checkpoints
| Artifact | Progress | Balanced unlearning score | Std. error | n | Role |
|---|---|---|---|---|---|
| artifact-2400 | 2400 | 0.9685 | — | — | Best |
| artifact-2700 | 2700 | 0.9671 | — | — | Retained |
| artifact-2880 | 2880 | 0.9542 | — | — | Final |
Best retained
0.9685
artifact-2400
Final checkpoint
0.9542
artifact-2880
Checkpoint rule
Best is an earlier checkpoint
No scalar recipe comparison is defined.
Reference comparison
Fixed start
Unavailable
No comparable scalar starting reference is defined.
Shipped recipe
Unavailable
No comparable scalar shipped-recipe reference is defined.
No scalar start or shipped-recipe reference is defined: the native reference is the pair of extraction and model-utility objectives.
Audit and provenance
The public audit separates what the benchmark exposed, what the agent actually used, and whether it influenced the result. “Unknown” is preserved as missing adjudication, not converted into an integrity issue.
- Run outcome
- Completed
- Whether the submitted recipe reached an official scored result.
- Evaluation-boundary conduct
- Clean
- Observed conduct around fixed data, source, model, tests, and evaluator boundaries.
- Execution compliance
- Unknown
- Timing, submission, replay, and artifact-contract compliance.
- Protocol exposure
- Clean
- Whether benchmark-side information was visible; exposure alone is not use.
- Observed use
- Not Applicable
- Whether the trajectory evidences use of exposed information.
- Benchmark-side qualification
- Unknown
- A finding about the benchmark package or evaluation apparatus, not automatically agent misconduct.
- Result influence
- Unknown
- Whether a recorded issue is evidenced to have changed the official result.
Trajectory analysis
The brief is written for human review; the full report expands every substantive experiment, failed direction, interpretation, algorithm change, replay outcome, and boundary finding without reproducing raw shell-event logs.
Human-readable brief
openunlearning_tofu_npo_llama3p2_1b - claude-sonnet-5 / Claude Code 2.1.220 (AI4AI v1.5) / low
Status. Exploration, submission, formal retraining, three artifact validations, and three final evaluations completed; lineage closed. The audit found two confirmed execution breaches: premature submission and severe formal-budget underuse. The unchanged baseline update with a constant-after-warmup schedule produced the best official balanced score, 0.968523, at checkpoint-2400.
What happened. The task asks for better unlearning from a fixed full Llama-3.2-1B-Instruct start on TOFU forget10 while retaining utility. The baseline uses Negative Preference Optimization (NPO) and pairs each of 400 forget rows with a sampled row from 3,600 retain rows: current and frozen-reference answer likelihoods create the forget loss, retain-answer negative log-likelihood (NLL) protects utility, and paged AdamW updates all current-model weights for ten linearly decayed epochs. Continued late improvement led the agent to diagnose the short, fast-decaying schedule as the bottleneck.
Four-hour exploration. The common deterministic proxy was forget Δanswer-NLL − max(0, retain Δanswer-NLL), higher better, on 24 training rows per split with no error bars; it is not an official-score estimate. The ten-epoch seed-0 baseline took 564.9 seconds and improved from 1.4282 at epoch 5 to 1.7023 at recorded epoch 9. Replacing retain NLL with Kullback–Leibler (KL) divergence scored only 1.3998 late, so KL was rejected. A 30-epoch linear run reached 2.8248 at epoch 25 and slipped to 2.8164 at recorded epoch 27; a nominal 60-epoch linear plan reached 3.4998 at epoch 30, suggesting slower decay mattered. A 100-epoch run stopped near epoch 4.6 without an interpretable result. After one Hydra-key launch failure, a 50-epoch constant schedule completed in 2,365.4 seconds and rose through 2.4784/3.3891/3.7697/4.1284 at epochs 10/20/30/recorded 46, so it was selected, although this was one seed and the submitted 240-epoch horizon was a fivefold extrapolation. A wall-clock smoke test initially left pending_export; corrected expected-exit handling and a final eight-step smoke produced independently loadable 1,235,814,400-parameter models. The agent then submitted after about 2 hours 35 minutes with 5,115 seconds and no active work left, although a measured seed replication fit comfortably.
How the submitted method works. Both baseline and candidate follow: fixed forget/retain text → current/reference answer likelihoods → NPO forget signal plus retain-answer NLL → full-model optimization → standalone export. The candidate leaves data, sampling, β=0.1, loss weights, retain NLL, learning rate 1.5e-5, effective batch 32, and trainable parameters unchanged. It replaces linear decay with 10% warmup then constant learning rate, raises nominal epochs from 10 to 240, saves every 300 steps with three retained artifacts, and hardens wall-clock export. This is schedule, hyperparameter, checkpoint-policy, and engineering tuning—not a new objective, signal, or update rule. Exploration weights did not transfer; formal replay applied the identical hashed patch to a fresh fixed start.
Formal and evaluation evidence. Formal training completed, but wall_clock_stop=false: it ended naturally at fixed step 2,880/recorded epoch 221.56 after 10,108.5 wrapper seconds, using about 10,161.2 of 43,200 seconds (23.52%). All three standalone artifacts validated; formal replay produced no proxy receipt. At checkpoint-2400/epoch 184.64, balanced score was 0.968523, Extraction 0.059327 lower-better on forget n=400, and Model Utility (MU) 0.560754 higher-better over retain n=400, real-authors n=100, and world-facts n=117. At 2700/207.72, values were 0.967102, 0.062543, and 0.561783; at 2880/221.56, 0.954193, 0.061974, and 0.546931. No standard errors or confidence intervals were reported. Checkpoint-2400 was best; later utility fell. Thus the constant long schedule produced a strong model, but the proxy's monotonic “later is better” direction did not survive the distinct final protocol.
Audit and takeaway. Fixed model/data hashes, score-only fields, evaluator integrity, external inputs, fresh formal replay, GPU process isolation, patch hash, progress, and receipts were checked. No hidden-value use, network/external model, evaluator modification, cross-stage contamination, protocol exposure, or platform/resource defect was found. Observable agent behavior is confirmed because meaningful replication fit in the exploration balance and formal fixed steps consumed only 23.52% of the required long-run budget; protocol/evaluation-boundary exposure is none found; platform, scheduling, and resource isolation are compliant. The trajectory demonstrates schedule diagnosis and robust export engineering, but single-seed evidence, a tiny training proxy, unvalidated horizon extrapolation, and budget underuse prevent claims of robustness or budget-optimality.
Full semantic audit
claude__openunlearning_tofu_npo_llama3p2_1b__claude-sonnet-5__low - Full English Analysis
1. Run identity, attempt selection, and lineage
2. Reader-facing overview
The task asks the agent to improve unlearning from a fixed full Llama-3.2-1B-Instruct starting model on TOFU forget10 while preserving general capability. The shipped baseline uses Negative Preference Optimization (NPO): a frozen copy of the starting model provides the reference for reducing preference for original answers on 400 forget examples, while negative log-likelihood on 3,600 retain examples protects useful behavior. Its ten-epoch schedule was the concrete limitation the agent identified.
The agent established the ten-epoch baseline, compared NLL and KL retain terms, extended the linear schedule, and then tested a constant learning rate after warmup. On a deterministic proxy over 24 forget and 24 retain training examples, the baseline's late score of 1.7023 rose to 4.1284 at recorded epoch 46 of the 50-epoch constant-schedule run; KL was rejected. The submission did not change the NPO objective, data, or update rule. It changed the learning-rate schedule, nominal duration, checkpoint cadence, and wall-clock/export engineering.
Formal replay started cleanly from the fixed model, ran for 10,108.5 training-wrapper seconds, and produced three loadable 1,235,814,400-parameter models. Official balanced scores at progress 2400, 2700, and 2880 were 0.968523, 0.967102, and 0.954193; checkpoint-2400 was best, and later training reduced utility. The proxy and final evaluator use different data and definitions, so their values are not numerically comparable. The broad claim that a longer constant schedule can produce a strong model survived; the proxy's apparent “later is better” trend did not.
The agent demonstrated useful schedule diagnosis and checkpoint/export debugging. Nevertheless, two execution breaches are confirmed: it submitted with 5,115 seconds left when a measured seed replication could still finish, and its formal fixed-step endpoint used only 23.52% of the 12-hour budget. No hidden-asset use, external input, cross-stage contamination, lineage defect, or platform isolation defect was found. The official results remain usable, but this is not a budget-complete research trajectory and it does not establish cross-seed robustness.
3. Task, baseline, and evaluation contract
3.1 Task and fixed boundaries
``text Starting artifact / model: fixed published full Llama-3.2-1B-Instruct training anchor Available training data and assets: fixed TOFU forget10 training assets, with 400 forget and 3,600 retain rows; explore/formal mounts contain only the start and training data Agent-editable surface: solution code under editable workspace, including solution/run.sh and solution/train.py, which may publish full Hugging Face checkpoints Fixed or forbidden components: starting model, data provenance, evaluator, final scoring assets, and mount boundaries; no network, external data/checkpoints/lookups, or explore artifacts/caches in formal replay Proxy evaluator: forget Δanswer-NLL − max(0, retain Δanswer-NLL), higher is better; first 24 training rows from each split; one deterministic pass; no standard error or confidence interval Final evaluator: balanced score, higher is better, the harmonic mean of normalized forget progress and utility retention; Extraction lower is better on forget n=400; MU higher is better and aggregates retain n=400, real-authors n=100, and world-facts n=117; no standard error or confidence interval Artifact contract: run output area>; at most the three greatest-progress artifacts are accepted; each must be a standalone full Hugging Face export ``
The proxy measures changes in answer negative log-likelihood (answer NLL) relative to the fixed start on a small subset of training rows, penalizing only a positive retain-NLL increase. The final evaluator uses score-only data and combines Extraction with Model Utility (MU). It is valid to compare directional hypotheses, but not to subtract the proxy and final values or treat the proxy as an estimate of the official score.
The declared official references are Extraction 0.707805 and MU 0.597131 for the fixed full anchor, and Extraction 0.063436 and MU 0.478673 for the shipped NPO reference. These comparisons are meaningful only inside the same final protocol.
3.2 How the baseline works
``text [fixed starting model; each forget row is paired with a randomly selected retain row] -> [current and frozen-reference models score original-answer tokens] -> [forget signal is the current model's relative preference for the answer versus the reference; retain target is the visible retain answer] -> [β=0.1 NPO forget loss + equally weighted retain NLL; paged AdamW, bf16, linear warmup/decay] -> [all current-model weights change and a full model is exported; the reference remains frozen] ``
The baseline uses learning rate 1.5e-5, batch size 8, gradient accumulation 4 (effective batch 32), ten epochs, seed 0, 10% warmup, and linear decay. It saves every five epochs and retains at most three checkpoints. The 400 forget rows are paired with rows sampled from the 3,600-row retain set. From the still-decreasing loss and still-improving late proxy score, the agent explicitly diagnosed the ten-epoch schedule as too short and asked whether training duration and learning-rate decay constrained forgetting.
4. Four-hour exploration and decision process
The explore run lasted from 2026-08-13 13:51:55Z to 16:27:31Z, roughly 2 hours 35 minutes. The early phase covered environment checks, a five-step canary, and the ten-epoch baseline. The middle phase covered a KL ablation and 30/60/100-epoch linear schedules. The late phase tested a constant schedule, fixed Hydra configuration and wall-clock export behavior, and ended with an eight-step smoke/load test. The agent submitted with 5,115 seconds still available.
U-01 - Establishing the baseline and diagnosing the short schedule
Motivation and hypothesis. The agent first needed to verify that the shipped NPO recipe, proxy evaluator, and model export all worked, and to determine whether ten epochs had converged.
Concrete change and experimental setup. It ran a five-step canary, then the unmodified seed-0 baseline with retain NLL and a ten-epoch linear schedule. The proxy used 24 forget and 24 retain training examples.
Observed result. The canary completed in 131.4 seconds and produced a usable checkpoint. The baseline took 564.9 seconds, executed 120 optimizer steps, and reported train runtime 494.4 seconds and train loss 8.5018. At epoch 5, forget/retain deltas were 2.4773/1.0491 and the proxy score was 1.4282; at recorded epoch 9, they were 2.6014/0.8991 and 1.7023. No uncertainty was reported.
Agent interpretation. Because loss continued falling from roughly 8 toward 3 and the proxy continued improving late in training, the agent concluded that the default run was undertrained.
Report assessment and confounds. The within-seed time series supports that diagnosis under this proxy, but the 24+24 training subset cannot establish final-evaluator behavior or seed robustness.
Decision and consequence. The baseline became the control; subsequent work extended training and tested the retain loss and learning-rate schedule.