Towards Verifiable Text Generation with Symbolic References.

Lucas Torroba Hennigen Shannon Shen Aniruddha Nrusimha Bernhard Gapp David A. Sontag Yoon Kim

Published in: CoRR (2023)

Keyphrases

text generation
natural language generation
natural language
theorem prover
high level
sufficient conditions
symbolic representation
knowledge representation
connectionist models
symbolic description
cross references
real time
data sets
secret sharing