# Human-in-the-loop configuration # Enables the live monitor dashboard and human feedback. # Usage: skydiscover-run program.py evaluator.py -c configs/human_in_the_loop.yaml # General settings max_iterations: 100 checkpoint_interval: 10 log_level: "INFO" random_seed: 42 # LLM configuration llm: models: - name: "gpt-5" weight: 1.0 temperature: 0.7 # top_p: 0.95 # omitted by default; some providers (e.g. Anthropic) reject both temperature and top_p max_tokens: 32000 timeout: 600 # Search configuration search: type: "topk" database: random_seed: 42 num_context_programs: 4 # Prompt configuration prompt: system_message: "You are an expert to help find the best solution to the problem." # Evaluator configuration evaluator: timeout: 10000 max_retries: 3 cascade_evaluation: false # Generation settings diff_based_generation: true max_solution_length: 60000 # Live monitor dashboard monitor: enabled: true port: 8765 host: "127.0.0.1" # Human feedback human_feedback_enabled: true