SMLP: Symbolic Machine Learning Prover (User Manual).
Franz BraußeZurab KhasidashviliKonstantin KorovinPublished in: CoRR (2024)
Keyphrases
- end users
- user experience
- user interface
- relevance feedback
- user input
- user centric
- theorem proving
- semi automatic
- user preferences
- user interaction
- search algorithm
- artificial intelligence
- machine learning
- recommender systems
- real time
- bayesian networks
- case study
- information systems
- error prone
- human users
- user requirements
- neural network