APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan
Sun 26 Nov 2023 13:30 - 14:00 at Room 106 & 107, IIS - NIER Session 1 Chair(s): Shin-Cheng Mu

Sun 26 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00
NIER Session 1APLAS NIER at Room 106 & 107, IIS
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
13:30
30m
Talk
Counterfactual Explanations for Sequential Models through Computational Complexity
APLAS NIER
Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
14:00
30m
Talk
A Neural-Network-Guided Approach to Program Verification and Synthesis
APLAS NIER
Naoki Kobayashi University of Tokyo
14:30
30m
Talk
A Compositional Theory of Linearizability
APLAS NIER
Zhong Shao Yale University