Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Explores training robots through reinforcement learning and learning from demonstration, highlighting challenges in human-robot interaction and data collection.
Explores uncertainty quantification and label error detection in deep learning for semantic segmentation, focusing on challenges and methods for error detection.