Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers.

Charlie George Andreas Stuhlmüller

Published in: CoRR (2023)

Keyphrases

academic papers
model checking
facial images
formal analysis
state space
significantly reduced
formal verification
search engine
image processing
case study
automatic detection
signature verification
verification method