</> Code with Papers by Syntology

Browse State-of-the-Art › Automated Theorem Proving › Papers, page 2

Automated Theorem Proving

Papers archive 2025-07-28

archive papers tagged: 288 · with a code link: 110 · where Syntology ran a sample: 46 (35 with a run with no instrument failure, 11 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (46 of 288 tagged: 35 with a run with no instrument failure, 11 where every run was a failure of Syntology's instrument)

Page 2 of 3: papers 101 to 200 of 288, 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.

Syntology lines on 5 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced; each line links to that paper's sample list. Syntology's record for this page has not changed since , the first build that kept a record date for it; when this build read Syntology's graph is in the build record. For agents: get_harvested_code_for_paper(arxiv_id) lists each paper's samples; how to connect.