Think
LLM
Models
Capabilities
Use Cases
Benchmarks
Papers
Glossary
Search
/
Glossary
/
Informal Proof
Informal Proof
techniques
A mathematical proof written in natural language rather than formal logical notation.
Informal Proof — Glossary — ThinkLLM