Solver-Relative Learnability — Glossary — ThinkLLM