Think
LLM
Models
Capabilities
Use Cases
Benchmarks
Papers
Glossary
Search
/
Specification — Glossary — ThinkLLM
Glossary
/
Specification
Specification
techniques
A formal description of what a program should do, separate from how it does it.