Login / Signup
PiVe: Prompting with Iterative Verification Improving Graph-based Generative Capability of LLMs.
Jiuzhou Han
Nigel Collier
Wray L. Buntine
Ehsan Shareghi
Published in:
ACL (Findings) (2024)
Keyphrases
</>
generative model
data driven
model checking
social networks
graph theoretic
databases
neural network
real world
formal verification
concurrent systems