ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization | ScienceToStartup | ScienceToStartup