VerifAI: Verified Generative AI.
Nan TangChenyu YangJu FanLei CaoYuyu LuoAlon Y. HalevyPublished in: CIDR (2024)
Keyphrases
- artificial intelligence
- generative model
- expert systems
- case based reasoning
- intelligent systems
- ai systems
- unsupervised learning
- machine learning
- genetic algorithm
- lecture notes in artificial intelligence
- john mccarthy
- ai methods
- knowledge representation
- discriminative learning
- data sets
- knowledge representation and reasoning
- management system
- neural network
- database
- computational intelligence
- ai technologies