activity
20122023
most citedA Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs

23 citations · 48 across the 3 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2023★ 3 cited

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

Charlie George, Andreas Stuhlmüller

Hallucination plagues even frontier LLMs--but how bad is it really for summarizing academic papers? We evaluate Factored Verification, a simple automated method for detecting hallu…