{"claim":{"bundle":{"code":"builtin-solver strategy=vary seed=563838899","commit":"057e20fd85d5790a0d0a768e29ef3baeabe97eb6","config":{"seconds":6,"strategy":"vary"},"environment":"lemma2/0.1.0 builtin","logs":"","seeds":[912469]},"candidate":{"config":{"batch":128,"hidden":32,"init_scale":2.0,"lr":1.6127999999999998,"momentum":0.9,"warmup":10,"weight_decay":0.0},"seed":912469},"flags":[],"id":2,"label":"network-best","measured":70.0,"reason":null,"score":30.0,"significance":[],"status":"verified","verdicts":[{"audit":true,"measured":30.0,"node":0,"seed":912469},{"audit":false,"measured":70.0,"node":0,"seed":914261401},{"audit":false,"measured":70.0,"node":0,"seed":317304090},{"audit":false,"measured":70.0,"node":0,"seed":627761397}]},"entry":{"body":"Large perturbations of the current best escape its local optimum and beat an empty notebook (any valid result counts)\nMethod: Remove or change a large part of the best result, rebuild, and keep changes that improve steps to target accuracy.\nThreshold: 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 (must beat). Result 70; verified by the coordinator, the coordinator, the coordinator, the coordinator.","claim":2,"created":1791499823,"credit":[2],"id":2,"kind":"result","label":"network-best","parent":null,"program":"tiny-train","score":70.0,"title":"Network best: steps to target accuracy 70","unit":15},"followups":[{"hypothesis":"Vary it: small perturbations of the C2 result (70) lead somewhere better","status":"open","unit":20},{"hypothesis":"Scale it: a longer search seeded from C2 (70) improves further","status":"open","unit":21},{"hypothesis":"Combine it: merging C2 (70) with other strong results beats it","status":"open","unit":22},{"hypothesis":"Large perturbations of the current best escape its local optimum and beat the network best of 70","status":"open","unit":23}]}