LIBERO-Para: A Diagnostic Benchmark and Metrics for Paraphrase Robustness in VLA Models | ScienceToStartup | ScienceToStartup