Eleven layers, two vertical members, four bands. Selecting a layer lists its function, the result that established it, and the documents assigned to it. Hover or focus any element for its summary and arXiv categories. Choosing an Atlas view marks the layers its Compiler Atlas nodes occupy: direct matches outlined, partial matches shown, the rest dimmed.
A correspondence is one object that appears under several names across programs. Each thread below orders the documents that carry one correspondence into a reading path.