Interpretability and Fairness in Machine Learning: A Formal Methods Approach.
Bishwamittra GhoshPublished in: IJCAI (2023)
Keyphrases
- formal methods
- machine learning
- artificial intelligence
- formal analysis
- formal specification
- model checking
- knowledge based systems
- software engineering
- learning algorithm
- model checker
- process algebra
- provably correct
- safety critical
- machine learning methods
- resource allocation
- machine learning algorithms
- knowledge acquisition
- knowledge representation
- temporal properties
- security properties
- open source
- data mining
- rule base
- building blocks
- decision trees