23 citations · 48 across the 3 of their papers we have counts for
3 papers
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…
cs.LG2017★ 22 cited
Agent-Agnostic Human-in-the-Loop Reinforcement Learning
David Abel, John Salvatier, Andreas Stuhlmüller +1
Providing Reinforcement Learning agents with expert advice can dramatically improve various aspects of learning. Prior work has developed teaching protocols that enable agents to l…
cs.AI2012★ 23 cited
A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs
Andreas Stuhlmüller, Noah D. Goodman
We describe a dynamic programming algorithm for computing the marginal distribution of discrete probabilistic programs. This algorithm takes a functional interpreter for an arbitra…