|
| 1 | +# Schema reference for eval-set config: |
| 2 | +# https://github.com/METR/hawk/blob/main/hawk/api/EvalSetConfig.schema.json |
| 3 | +# |
| 4 | +# BLOOM68 -- the canonical run of Thomas Bloom's Erdős problem selection: |
| 5 | +# 68 samples over 65 distinct problems, the two `bloom_selection` subsets |
| 6 | +# combined (50 from apn_erdos + 18 from apn_erdos_autoformalized; see |
| 7 | +# apn/data/erdos/ERDOS_PROBLEM_STATEMENT_SELECTION.md and the subset files' |
| 8 | +# descriptions). |
| 9 | +# |
| 10 | +# Canonical harness conditions (TA recommendation, GB agreed, 2026-08-28): |
| 11 | +# maximum affordances, so results lower-bound what a model could do here. |
| 12 | +# - agent_type: deep -- Inspect's deepagent loop; subagents (its main |
| 13 | +# affordance) are enabled automatically. |
| 14 | +# - literature: true -- the offline arXiv literature-snapshot image. |
| 15 | +# Neither condition measurably moved solve rates for current models on OEIS, |
| 16 | +# but they might help future models, and "all affordances" is the honest |
| 17 | +# canonical setting for an open-problems benchmark. |
| 18 | +name: bloom68 |
| 19 | +tasks: |
| 20 | + - package: git+ssh://git@github.com/epoch-research/LeanOpenProblems.git@main |
| 21 | + name: apn |
| 22 | + items: |
| 23 | + # The subsets are these tasks' defaults; passed explicitly so this file |
| 24 | + # fully determines the run. |
| 25 | + - name: apn_erdos |
| 26 | + args: |
| 27 | + subset: bloom_selection |
| 28 | + agent_type: deep |
| 29 | + literature: true |
| 30 | + - name: apn_erdos_autoformalized |
| 31 | + args: |
| 32 | + subset: bloom_selection |
| 33 | + agent_type: deep |
| 34 | + literature: true |
| 35 | +epochs: 1 |
| 36 | +models: |
| 37 | + # Epoch model wrappers (bypass middleman): API keys come straight from the |
| 38 | + # secrets below; max_tokens/context window come from the package's models.yaml. |
| 39 | + - package: git+https://github.com/epoch-research/benchmarks@giles-hawkbench-newstuff |
| 40 | + name: epoch |
| 41 | + items: |
| 42 | + - name: gpt-5.6-sol |
| 43 | + args: |
| 44 | + config: |
| 45 | + # Defaults to 'none' in GPT 5.4 |
| 46 | + reasoning_effort: "medium" |
| 47 | + max_retries: 7 |
| 48 | + # max_sandboxes isn't user-settable; Hawk sizes it as |
| 49 | + # 2 x sum(max_connections) across providers |
| 50 | + max_connections: 40 |
| 51 | + - name: claude-fable-5 |
| 52 | + args: |
| 53 | + config: |
| 54 | + reasoning_effort: "high" |
| 55 | + max_retries: 7 |
| 56 | + max_connections: 40 |
| 57 | + |
| 58 | +# Per-sample spend cap -- the real budget. Requires model_cost_config below for |
| 59 | +# every model used, or Hawk/Inspect errors out. |
| 60 | +# |
| 61 | +# COST (2 models x 68 samples x 1 epoch = 136 samples, $100/sample cap): |
| 62 | +# Max: 136 x $100 = $13,600 hard ceiling -- every sample hits its cap |
| 63 | +# Expected sits near max: runs are gated (default), so an unsolved problem |
| 64 | +# retries until it hits the cap, and the expected solve rate on this selection |
| 65 | +# is ~0% for current models. |
| 66 | +cost_limit: 100.0 |
| 67 | +working_limit: 129_600 # 36 * 60 * 60 |
| 68 | + |
| 69 | +# Prices in dollars per 1M tokens (from scripts/data/model_prices_and_context_window.json). |
| 70 | +# Keys must match Inspect's resolved <provider>/<model> names. |
| 71 | +model_cost_config: |
| 72 | + epoch/gpt-5.6-sol: |
| 73 | + input: 5.0 |
| 74 | + output: 30.0 |
| 75 | + input_cache_read: 0.5 |
| 76 | + input_cache_write: 6.25 |
| 77 | + epoch/claude-fable-5: |
| 78 | + input: 10.0 |
| 79 | + output: 50.0 |
| 80 | + input_cache_read: 1.0 |
| 81 | + input_cache_write: 12.5 |
| 82 | + |
| 83 | +secrets: |
| 84 | + - name: ANTHROPIC_API_KEY |
| 85 | + - name: OPENAI_API_KEY |
| 86 | + - name: GOOGLE_API_KEY |
| 87 | + - name: LEAN_OPEN_PROBLEMS_IMAGE_NAME |
| 88 | + description: "The ECR repo containing the LeanOpenProblems sandbox images" |
| 89 | + |
| 90 | +runner: |
| 91 | + memory: 200Gi |
| 92 | + environment: |
| 93 | + # TODO: Remove once default in Hawk |
| 94 | + INSPECT_LOG_CONDENSE: "true" |
| 95 | + ANTHROPIC_BASE_URL: https://api.anthropic.com |
| 96 | + OPENAI_BASE_URL: https://api.openai.com/v1 |
| 97 | + GOOGLE_BASE_URL: https://generativelanguage.googleapis.com |
| 98 | + HAWK_RUNNER_REFRESH_CLIENT_ID: "" |
| 99 | + HAWK_RUNNER_REFRESH_TOKEN: '' |
| 100 | + |
| 101 | +packages: |
| 102 | + - inspect-ai==0.3.245 |
0 commit comments