Login / Signup
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).
Agnieszka Slowik
Chaitanya Mangla
Mateja Jamnik
Sean B. Holden
Lawrence C. Paulson
Published 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