Syntology: code that ran

Tools

• code_that_ran_check_coverage Ask whether Syntology holds code for a method or a paper, before fetching anything. Give a method name (for example "focal loss"), an arXiv id, or a paper title. Answers verified_code, unverified_code, no_code or unknown_name. A no_code answer asserts absence only for the exact name it resolved; unknown_name asserts nothing and lists near matches. Returns: Syntology's coverage answer, as JSON.
• code_that_ran_find_code_for_paper Find the code for an ML paper: its repositories, and any implementation Syntology verified. Give an arXiv id (for example 1706.03762), an arXiv URL, or a paper title. Returns `repos`: the repositories the authors declared or Papers with Code cross-referenced (pointers to GitHub; none of these has been run). When Syntology holds one, it also returns `verified_reference_implementations`: implementations of the paper's methods that Syntology executed in its sandbox (level 1), some with a second implementation agreeing on the same inputs (level 2). To get the code, pass the method name to search_verified_code, then its code_sha256 to get_code_sample. "Verified" means executed on synthesized inputs; it does not mean the paper's results reproduce. Returns: Syntology's record of the paper's code, as JSON.
• code_that_ran_get_code_sample Fetch one code sample by its identity, with everything recorded against it. Use a code_sha256 from search_verified_code. Answers include the verification level and report, the measured input/output behaviour where it exists (and whether that measurement was degenerate, i.e. the test inputs came back unchanged), and the licence: the code itself only under a permissive upstream licence, otherwise a pointer to its source. Returns: The code sample's record, as JSON.
• code_that_ran_search_verified_code Browse Syntology's index of implementations it has verified, by method name. Returns each implementation's method name, the paper it comes from (arXiv id and title), its publication year, language and verification level, and its code_sha256, which get_code_sample takes. The licence decision comes with get_code_sample. Returns: Matching verified implementations, as JSON.

No tool matches.

As the server's own listing gives them. We never call a tool.