ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization cs.SE · 2026-02-17