Login / Signup
Bernhard Gapp
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Connectionist Models
Theorem Prover
Cross References
Symbolic Description
Top Venues
CoRR
</>
Publications
</>
Lucas Torroba Hennigen
,
Shannon Shen
,
Aniruddha Nrusimha
,
Bernhard Gapp
,
David A. Sontag
,
Yoon Kim
Towards Verifiable Text Generation with Symbolic References.
CoRR
(2023)