optimize_code
Prove code optimization: generate an improved version, verify identical outputs on test inputs, and measure speedup for measurable gains. Returns optimized code with timings.
Instructions
Optimize code and PROVE the improvement.
An LLM proposes an optimized version; the executor verifies correctness (identical stdout on test inputs) AND measures speedup (same sizes, min-of-repeats, baseline-subtracted). Accepted only if correct AND measurably faster (default 1.15x); retried once with the failure reason. Returns optimized_code, speedup_ratio, before/after timings.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| code | Yes | ||
| sizes | No | ||
| language | Yes | ||
| min_speedup | No | ||
| test_inputs | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||