Automated Verification — Glossary — ThinkLLM