Towards Verifiable Text Generation with Symbolic References. - Lucas Torroba Hennigen; Shannon Shen 001; Aniruddha Nrusimha; Bernhard Gapp; David A. Sontag; Yoon Kim (CoRR, 2023)