Prover Verifier Games — Glossary — ThinkLLM