submit_playground_run
Create a playground practice run for a competition, specifying the run request with models, solvers, or custom problems.
Instructions
Create a Playground practice run.
Scope: playground.write. run_request's shape depends on the
competition's submissionSpec.kind -- read get_competition first. Known
shapes today:
cheatsheet: {"models": ["", ...], "problems": [{"problemSet": "", "index": 0} | {"custom": {"equation1": "...", "equation2": "...", "goldAnswer": true}}, ...], "configurations": [{"cheatsheet": ""}, ...] (optional, omit for an unconditioned baseline), "repeat": 1 (optional, max 5)}
solver-participation: {"solverCode": "<lean 4 source>", "solverName": "" (optional), "problemIds": ["", ...], "allowedModels": ["", ...] (optional)}
model-reference: {"modelName": "/", "commitHash": "<40-hex-char sha>", "problemSetId": "", "hfToken": "" (optional, for private/gated repos), "note": "<=500 chars" (optional)}
Returns {"runId": ..., "status": "pending"}. Poll get_playground_run / list_playground_run_results for progress.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| run_request | Yes | ||
| competition_id | Yes |