Think
LLM
Models
Capabilities
Use Cases
Benchmarks
Papers
Glossary
Search
/
Glossary
/
Invariant
Invariant
techniques
A property that remains true throughout the execution of a loop or program.
Invariant — Glossary — ThinkLLM