Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization | ScienceToStartup | ScienceToStartup