Specification Overfitting in Artificial Intelligence.
Benjamin RothPedro Henrique Luz de AraujoYuxi XiaSaskia KaltenbrunnerChristoph KorabPublished in: CoRR (2024)
Keyphrases
- artificial intelligence
- decision trees
- expert systems
- cross validation
- formal methods
- cognitive science
- ai systems
- knowledge based systems
- computational intelligence
- ai methods
- computer science
- formal specification
- specification language
- intelligent systems
- software engineering
- knowledge representation
- generalization error
- ai technologies
- database
- engineering design
- conceptual model
- natural language processing
- case based reasoning
- knowledge base
- information systems
- genetic algorithm