SMLP: Symbolic Machine Learning Prover.
Franz BraußeZurab KhasidashviliKonstantin KorovinPublished in: CAV (1) (2024)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- proof search
- sufficient conditions
- active learning
- cost function
- inference rules
- neural network
- higher level
- constraint satisfaction
- first order logic
- np complete
- knowledge representation
- probability distribution
- artificial intelligence
- genetic algorithm
- machine learning