Instructional Material
Towards Multi-dimensional Explanation Alignment for Medical Classification
The lack of interpretability in the field of medical image analysis has significant ethical and legal implications.
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV -COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr).
Identifying Latent State-Transition Processes for Individualized Reinforcement Learning Y uewen Sun
The application of reinforcement learning (RL) involving interactions with individuals has grown significantly in recent years.
Procedure-Aware Surgical Video-language Pretraining with Hierarchical Knowledge Augmentation
Surgical video-language pretraining (VLP) faces unique challenges due to the knowledge domain gap and the scarcity of multi-modal data.
Responsible AI (RAI) Games and Ensembles
In this work, we provide a general framework for studying these problems, which we refer to as Responsible AI (RAI) games .
An Information Theoretic Perspective on Conformal Prediction
More precisely, we prove three different ways to upper bound the intrinsic uncertainty, as described by the conditional entropy of the target variable given the inputs, by combining CP with information theoretical inequalities.
