| # 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 | |