Bi-level Optimization — Glossary — ThinkLLM