Bilevel Optimization — Glossary — ThinkLLM