File size: 2,166 Bytes
63f41a6 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 | {
"columns": [
"Note id / path",
"Title",
"Type",
"Used in sheets"
],
"widths": [
70,
60,
30,
40
],
"rows": [
[
"in-this-work-we-present-leanstral-a-series-of-generalist-code-agent-models-for",
"Leanstral technical report (LeanstralSafeVerify repo PDF)",
"vault primary",
"Recipe_Stack, WBS"
],
[
"interim-report-leanstral-base-midtraining-and-compute-provenance",
"Leanstral architecture, mid-training, compute provenance",
"vault interim (our pipeline)",
"README, Recipe_Stack, WBS"
],
[
"interim-report-data-vs-rl-lever-and-8b-4xa10g-reproducibility",
"Data vs RL lever; 8B on 4x A10G box-hours",
"vault interim (our pipeline)",
"README, Recipe_Stack, Experiment_Plan"
],
[
"interim-report-rl-adds-vs-sharpens-on-lean-passk",
"Does RL add or sharpen Lean pass@k",
"vault interim (our pipeline)",
"Recipe_Stack, WBS"
],
[
"interim-report-objective-choice-cispo-vs-grpo-effect-size-controlled",
"CISPO vs GRPO family, objectives written out",
"vault interim (our pipeline)",
"Recipe_Stack, WBS"
],
[
"interim-report-multiturn-compiler-feedback-vs-singleturn-and-sampling",
"Multi-turn compiler feedback vs single-turn and sampling",
"vault interim (our pipeline)",
"Recipe_Stack"
],
[
"interim-report-headline-benchmark-protocol-comparability",
"Benchmark protocol comparability",
"vault interim (our pipeline)",
"Evals_Gates"
],
[
"research/runs/leanstral-recipe-lineage-c14fca/comparisons.md",
"Cross-locus tensions",
"run artefact",
"README"
],
[
"/apps/development/rlhf/align/docs/SOTA_PLAN.md",
"8B SOTA plan: protocol classes, levers, gates, calendar",
"repo doc",
"WBS, Experiment_Plan, README"
],
[
"/apps/development/rlhf/align/docs/SOTA_TARGETS.md",
"Verified ~8B prover targets",
"repo doc",
"Evals_Gates, WBS"
],
[
"/apps/development/rlhf/align/docs/SELF_DISTILLATION.md",
"Self-distillation plan",
"repo doc",
"WBS, Experiment_Plan"
],
[
"/apps/development/rlhf/align/docs/P2.md",
"P2 baseline build and protocol",
"repo doc",
"WBS"
]
]
} |