Each graph reconstructs a published theory paper's argument as the paper itself presents it. Every box is one atomic claim, assumption, definition, or result, anchored to the page and the verbatim phrase it comes from. An arrow means the paper derives the target from the sources; where several lines join at a dot, those sources are used jointly in one derivation. Colors mark prominence as presented: headline conclusions, major results, supporting steps, context. The graph makes no judgment about whether any step is correct.
Graphs are extracted by a frontier language model working from the paper alone, under a contract that forbids error hunting, external criticism, and severity judgments during extraction. The extraction is one stage of a larger research pipeline on the formal verification of published economic theory, in which independent stages audit papers, map findings onto the graph, and rederive claims after minimal corrections. Every graph on this site is machine-extracted and provisional until verified; author corrections are part of that verification.
You know your argument better than any reconstruction of it. If a box misstates a claim, an arrow draws on the wrong sources, or an alternative derivation is missing, flag it in the viewer: alternative routes we missed matter most, because they change how robust the argument is to local corrections.
Elliott Ash, Andrea Ciccarone, Sergio Galletta · ETH Zurich.
Contact: [email protected]