ProofBuddy: A Proof Assistant for Learning and Monitoring.
Nadine KarstenFrederik Krogsdal JacobsenKim Jana EikenUwe NestmannJørgen VilladsenPublished in: CoRR (2023)
Keyphrases
- learning process
- learning algorithm
- reinforcement learning
- active learning
- learning systems
- databases
- data sets
- learning scheme
- learning problems
- expert systems
- background knowledge
- online learning
- learning mechanism
- real time
- monitoring system
- unsupervised learning
- decision support
- prior knowledge
- bayesian networks
- website
- information systems
- information retrieval