</> Code with Papers by Syntology

Browse State-of-the-Art › Mathematical Reasoning › Papers, page 8

Mathematical Reasoning

Papers archive 2025-07-28

archive papers tagged: 805 · with a code link: 395 · where Syntology ran a sample: 197 (159 with a run with no instrument failure, 38 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (197 of 805 tagged: 159 with a run with no instrument failure, 38 where every run was a failure of Syntology's instrument)

Page 8 of 9: papers 701 to 800 of 805, 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.