Top-K
Always expand the single best program, with the next K as context. Pure greedy elitism.
# Top-K — faithful port of SkyDiscover's TopKDatabase defaults (uncapped keep-all archive).
# Sections mirror the six core components.
seed: 0
general:
max_iterations: 100
inner_retry_times: 3 # SkyDiscover retries up to 3 propose+evaluate attempts per iteration (retry_times)
# population (TopKPopulation) is uncapped keep-all by default (SkyDiscover enforces no cap);
# set population.capacity to an int only if you need to bound the archive.
selection_policy: # TopKPolicy
num_inspirations: 4 # K — programs at ranks 2..K+1 used as context (num_context_programs)
proposer:
max_tokens: 32000 # SkyDiscover LLMConfig.max_tokens (applies only to a model built from this preset)