TY  - RPRT
TI  - ExAIS: Executable AI Semantics
AU  - Richard Schumi
AU  - Jun Sun
PY  - 2022
DO  - 10.1145/3510003.3510112
UR  - https://arxiv.org/abs/2202.09868
ID  - 2202.09868
ER  -