Login / Signup
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