TY  - RPRT
TI  - You Only Explain Once
AU  - David A. Kelly
AU  - Hana Chockler
AU  - Daniel Kroening
AU  - Nathan Blake
AU  - Aditi Ramaswamy
AU  - Melane Navaratnarajah
AU  - Aaditya Shivakumar
PY  - 2023
UR  - https://arxiv.org/abs/2311.14081
ID  - 2311.14081
ER  -