Similar Items: A Logical Foundation for Environment Classifiers
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Some observations on the logical foundations of inductive theorem proving
- Foundations of regular coinduction
- A Hybrid Weighted Nearest Neighbour Classifier for Semi-Supervised Learning
- Model-free Change-Point Detection Using AUC of a Classifier
- On Small Types in Univalent Foundations