</> Code with Papers by Syntology

Browse State-of-the-Art › Logical Reasoning › Papers, page 5

Logical Reasoning

Papers archive 2025-07-28

archive papers tagged: 747 · with a code link: 330 · where Syntology ran a sample: 113 (96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (113 of 747 tagged: 96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument)

Page 5 of 8: papers 401 to 500 of 747, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.