i’ve often worried that pass
@k = 0 tasks weren’t worth shipping, but this makes me feel better about making extremely hard tasks -- it seems like failed traces can still yield useful learning signals, even when there’s no good solution to copy
also this reminds me of a similar attempt:
RLTL;DR: failed attempt + verifier feedback -> generate TL;DR lesson -> train the "task to lesson" mapping (no separate teacher)
HINT-SD: full failed attempt -- thru hindsight analysis --> select relevant actions + generate corrective feedback -> train that "trace to action" mapping at selected steps, with hindsight informed teacher predictions (the teacher that comes from the student)