Optimal White-Box Adversarial Streaming Lower Bounds for Approximating LIS Length | Synapse