Verification-Refinement Loop — Glossary — ThinkLLM