Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).
Agnieszka SlowikChaitanya ManglaMateja JamnikSean B. HoldenLawrence C. PaulsonPublished in: AAAI (2020)
Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- learning environment
- intelligent tutoring systems
- high level
- answer set programming
- student model
- learning process
- genetic algorithm
- tutoring system
- bayesian networks
- high school students
- learning styles
- knowledge level
- inference rules
- probability distribution
- artificial intelligence