Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness.
Thomas AttemaSerge FehrNicolas ReschPublished in: TCC (3) (2023)
Keyphrases
- knowledge acquisition
- domain knowledge
- neural network
- knowledge base
- learning systems
- knowledge extraction
- knowledge transfer
- knowledge sharing
- background knowledge
- knowledge management
- knowledge discovery
- data analysis
- computer vision
- machine learning
- knowledge representation
- knowledge based systems
- case study
- genetic algorithm
- data visualization
- theorem proving
- database