Structural Complexity of Rational Interactive Proofs.
Daniil MusatovGeorgii PotapovPublished in: CoRR (2023)
Keyphrases
- structural information
- user friendly
- neural network
- decision problems
- interactive video
- structural features
- space complexity
- virtual reality
- computer graphics
- computational complexity
- decision making
- worst case
- multiscale
- image processing
- theorem proving
- artificial intelligence
- information retrieval
- highly interactive
- data sets