Home › Code › run_cmd

run_cmd

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

run_cmd appears in the code Syntology harvested for 10 papers, as 10 distinct code bodies found in 10 places (a place is one code body under one paper). At least one of them ran in 7 of the papers; 3 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 run_cmd 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 7 of the 10 distinct code bodies named run_cmd; 3 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
6ran
3unverified
3fingerprinted

Licence is a property of each copy, so it is counted per place: 3 of the 10 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

10 papers shown of 10, newest first; 10 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, and the graph's for 6 papers added by Syntology. 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
Beyond Detection Accuracy: Measuring Explanation Cost, Stability, and Utility for Resource-Aware IoT Intrusion Detection added by Syntology 2026-08 (from id) AbdurrahmanTolay/resource-aware-iot-xai/src/final_empirical_completeness_audit.py 0936286bc7b2f2dc ran fingerprinted no licence file found · pointer only
FinHardBench: Can LLMs Generate Latency-Aware Hardware for Financial Computing? added by Syntology 2026-08 (from id) owenfucell/FinHardBench/system/experiment_driver.py 9f13417811c6ffad ran · our draft was wrong fingerprinted BSD-3-Clause (permissive)
ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor added by Syntology 2026-06 (from id) pierredantas/esbmc-plcplus-artifact/experiments/nuxmv_comparison/run_remaining.py f9a03ecfdee197e5 ran no licence file found · pointer only
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization added by Syntology 2026-06 (from id) YuanheZ/LeanMarathon/.scripts/per_node_worker_loop.py 28c4e0f933f99ae5 ran Apache-2.0 (permissive)
FLAGG: Flexible Autoregressive Graph Generation added by Syntology 2026-06 (from id) CognacS/flagg-graphgen/auto_script.py af53f7d96fa64b66 ran MIT (permissive)
Evaluating CUDA Tile for AI Workloads on Hopper and Blackwell GPUs added by Syntology 2026-04 (from id) uwm-se/CuTile/code_B200/collect_hw_spec.py f1ce28c4e976e504 ran no licence file found · pointer only
Enhancing Ligand Pose Sampling for Molecular Docking 30 Nov 2023 drorlab/GLOW_IVES/glow_ives/utils/utils.py 0bac86fcc851f6b7 ran fingerprinted MIT (permissive)
Mapping New Informal Settlements using Machine Learning and Time Series Satellite Images: An Application in the Venezuelan Migration Crisis 2020-08 (from id) thinkingmachines/geoai-immap/utils/geoutils.py 7ef83003ed4630fb unverified MIT (permissive)
DGL-KE: Training Knowledge Graph Embeddings at Scale 2020-04 (from id) awslabs/dgl-ke/python/dglke/dist_train.py 13997ea0dc0416ad unverified Apache-2.0 (permissive)
QPyTorch: A Low-Precision Arithmetic Simulation Framework 9 Oct 2019 robust-systems-group/illusion_system/illusion_paper_sim/util.py d10217a422916a6e unverified BSD-3-Clause (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