argument-graphs

This paper argues for layered verification of LLM-generated argument graphs, combining deterministic checks, solvers, and LLM reviewers, and shows that LLM reviewers detect structural defects well but are inconsistent, over-reject correct graphs, and slower than exact checks.