Hugging Face's logo

JustinTX
/
sky

Model card Files
xet
 Community
sky
File size: 1,036 Bytes
f4790e1
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
# 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