Scalable Verification of Social Explainable AI by Variable Abstraction.
Wojciech JamrogaYan KimDamian KurpiewskiPublished in: ICAART (1) (2024)
Keyphrases
- artificial intelligence
- hardware designs
- social networks
- expert systems
- social interaction
- user generated
- machine learning
- bounded model checking
- knowledge representation
- model checking
- web scale
- formal verification
- lightweight
- social media
- formal methods
- neural network
- verification method
- social behavior
- social relationships
- face verification
- intelligent systems
- case based reasoning
- high level
- highly scalable
- social networking
- social context
- computational intelligence
- e learning