The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.
Marco SälzerEric AlsmannMartin LangePublished in: CoRR (2024)
Keyphrases
- computational complexity
- rate distortion
- bit rate
- low complexity
- formal models
- meta level
- np complete
- formal model
- motion estimation
- logical reasoning
- special case
- formal methods
- reasoning process
- high computational complexity
- distributed video coding
- formal representation
- model based reasoning
- qualitative reasoning
- legal argument
- probabilistic reasoning
- coding efficiency
- artificial intelligence
- motion vectors
- computationally efficient
- np hard
- knowledge base
- automated reasoning
- video codec
- reasoning tasks
- decision problems
- reasoning systems
- semantic web
- image quality
- expert systems