Prove EditApproximation (openai/math family 121: Almost-linear expected-time approximation of edit distance)…
Prove EditApproximation (openai/math family 121: Almost-linear expected-time approximation of edit distance)…: a task in openai/math as Harbor environments (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.
The task
Part of raising-heart/openai-math.