Home › Code › execute

execute

Syntologyentry name in harvested coderead from the graph 2026-09-24

execute appears in the code Syntology harvested for 12 papers, as 13 distinct code bodies found in 13 places (a place is one code body under one paper). At least one of them ran in 4 of the papers; 0 of the code bodies carry a behaviour fingerprint.

What this page is not. Routines are grouped here by the exact string of their function or class name. Nothing asserts that two samples named execute do the same thing, share code, or are comparable; the name is a string, not an identity. Behaviour outputs (what a fingerprinted sample returned on the shared battery) are not in this export and are not shown here; the graph at syntology.ai holds them. "Ran" means executed on a synthesized fixture, not that the code is correct or reproduces a paper.

Samples Syntology

Syntology ran 5 of the 13 distinct code bodies named execute; 8 are unverified. One tile per status, in the site's fixed vocabulary, each code body counted once:

0ran · honoured contract
0ran · violated contract
1ran · our draft was wrong
0ran · fixture could not drive it
4ran
8unverified
0fingerprinted

Licence is a property of each copy, so it is counted per place: 3 of the 13 places are pointer only (Syntology does not serve that copy's text). This site shows no code text for any sample; every row below links to the file in its repository where the record names one.

“Ran” means the sample executed on a synthesized input; it does not mean the output is correct. “Honoured” and “violated” refer to a contract Syntology drafted from the code itself; “our draft was wrong” and “fixture could not drive it” are failures of Syntology's instrument, not of the code, and those samples did run. The ran count above is every status except unverified, the same rule as each paper page.

Papers

12 papers shown of 12, newest first; 13 places in the table. A paper with no recorded date is placed by the month its arXiv id encodes, shown in the Date column as YYYY-MM (from id). One row per place: a paper whose repository defines the name more than once appears more than once, and the same code body held for several papers appears once under each, with the same status. Titles and dates are the archive's archive 2025-07-28 for papers in the archive. Status and fingerprint are Syntology's record of each code body; licence is recorded for each place. The File cell ends with the code body's code_sha256, Syntology's identity for that exact code: an agent fetches the stored sample with Syntology's MCP tool get_code(code_sha256="…") (how to connect); click an identity to copy that call.

PaperDateFileStatus SyntologyLicence
Training on the Test Model: Contamination in Ranking Distillation 4 Nov 2024 Parry-Parry/ContaminatedDistillation/src/contaminate/__main__.py 00a1cf01d60755fc unverified Apache-2.0 (permissive)
TESTEVAL: Benchmarking Large Language Models for Test Case Generation 2024-06 (from id) llm4softwaretesting/testeval/eval_base.py 8671b30e9a445afa ran MIT (permissive)
TESTEVAL: Benchmarking Large Language Models for Test Case Generation 2024-06 (from id) llm4softwaretesting/testeval/eval_branchcov.py d95b2ac22f4237ce ran MIT (permissive)
KiDS-SBI: Simulation-based inference analysis of KiDS-1000 cosmic shear 2024-04 (from id) mwiet/kids_sbi/modules/scale_cuts/load_cterm.py c0a338e9423645a0 ran no licence file found · pointer only
Empowering Large Language Model Agents through Action Learning 24 Feb 2024 zhao-ht/learnact/aux_func/aux_func.py a9ab3708c00ae21a ran no licence file found · pointer only
Agent Lumos: Unified and Modular Training for Open-Source Language Agents 9 Nov 2023 allenai/lumos/eval/webshop/run_eval.py f7678ddb6aba27d7 unverified MIT (permissive)
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models 27 Jun 2023 lean-dojo/LeanDojo/src/lean_dojo/utils.py 58b9a44ed03f6513 unverified MIT (permissive)
RobuT: A Systematic Study of Table QA Robustness Against Human-Annotated Adversarial Perturbations 25 Jun 2023 yilunzhao/RobuT/utils/eval_utils.py 7998bb6f998f1b8a unverified MIT (permissive)
Interleaving Pre-Trained Language Models and Large Language Models for Zero-Shot NL2SQL Generation 15 Jun 2023 ruc-datalab/zeronl2sql/LLM_text2sql.py c7c413b7001d6846 unverified MIT (permissive)
LEVER: Learning to Verify Language-to-Code Generation with Execution 16 Feb 2023 niansong1996/lever/execution/safe_execution_util.py 0e6bb17163d0c70b unverified MIT (permissive)
EHRSQL: A Practical Text-to-SQL Benchmark for Electronic Health Records 16 Jan 2023 glee4810/EHRSQL/evaluate.py cac3be6308daaa20 ran · our draft was wrong CC-BY-4.0 · pointer only
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions 28 May 2022 microsoft/TraceCodegen/execution/safe_execution_util.py 41b1619d697fec62 unverified MIT (permissive)
Imitation Learning by Reinforcement Learning 10 Aug 2021 spotify-research/il-by-rl/utils.py 25bd681eec65f985 unverified Apache-2.0 (permissive)

This site shows no code text; each File cell links to the file on GitHub at the repository's current default branch, which may have changed since the harvest. "Pointer only" means Syntology does not serve that copy's text, for one of four reasons: no licence file was found; the licence was not identified; the licence is recorded as permissive but that copy's record is not marked cleared; or the licence is outside the permissive list Syntology serves text under (MIT, Apache-2.0, BSD and similar). Some licences outside that list permit redistribution, such as WTFPL, and GPL-3.0 under its conditions; they are simply not on the list. Hover a licence cell for the reason. Per-sample records for a paper are on its paper page under "Code Syntology ran".

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections