Home › Code › timeout

timeout

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

timeout appears in the code Syntology harvested for 24 papers, as 16 distinct code bodies found in 24 places (a place is one code body under one paper). At least one of them ran in 16 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 timeout 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 10 of the 16 distinct code bodies named timeout; 6 are unverified. One tile per status, in the site's fixed vocabulary, each code body counted once:

0ran · honoured contract
0ran · violated contract
3ran · our draft was wrong
0ran · fixture could not drive it
7ran
6unverified
0fingerprinted

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

24 papers shown of 24, newest first; 24 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 3 papers added by Syntology; 3 papers have no page here and are shown by arXiv id only. 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
Combinatorial Synthesis: Scaling Code RLVR via Atomic Decomposition and Recombination added by Syntology 2026-05 (from id) icip-cas/ADR/0_pipeline.py a1c03255bc6cedf4 ran · our draft was wrong no licence file found · pointer only
Can LLMs Learn to Reason Robustly under Noisy Supervision? added by Syntology 2026-04 (from id) ShenzhiYang2000/OLR/eval_scripts/generate_vllm.py 885cc9ddb95422d6 unverified Apache-2.0 (permissive)
Approximating Matrix Functions with Deep Neural Networks and Transformers added by Syntology 2026-02 (from id) rahul3/LAWT/src/utils.py e7b55aa114a5156a unverified licence not identified · pointer only
arXiv:2505.21413 2025-05 (from id) xxxiaol/RefTool/code/inference/evaluator.py 56d9e73f4137b105 unverified MIT (permissive)
PatternBoost: Constructions in Mathematics with a Little Help from AI 1 Nov 2024 zawagner22/transformers_math_experiments/utils.py e7b55aa114a5156a unverified no licence file found · pointer only
Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? 2 Oct 2024 LingmaTongyi/Codev-Bench/src/evaluate.py 565db4280f75804c ran · our draft was wrong no licence file found · pointer only
Relational decomposition for program synthesis 22 Aug 2024 celinehocquette/ijcai25-relational-decomposition/popper/popper/util.py 829094d074a416ac ran no licence file found · pointer only
MAGIC: Generating Self-Correction Guideline for In-Context Text-to-SQL 18 Jun 2024 microsoft/synqo/magic/multi_agent_feedback_generation.py 9a3da427295e86ae ran MIT (permissive)
Personalized Steering of Large Language Models: Versatile Steering Vectors Through Bi-directional Preference Optimization 28 May 2024 CaoYuanpu/BiPO/evaluate.py b5bce4021c48e0c1 ran · our draft was wrong MIT (permissive)
The Causal Chambers: Real Physical Systems as a Testbed for AI Methodology 17 Apr 2024 juangamella/causal-chamber-paper/case_studies/src/symbolicregression/utils.py 2fe9d54ddd8520af ran MIT (permissive)
Differentially Private Synthetic Data via Foundation Model APIs 2: Text 4 Mar 2024 AI-secure/aug-pe/apis/utils.py 0b978e0d687562ae ran Apache-2.0 (permissive)
Fine-Tuned Language Models Generate Stable Inorganic Materials as Text 6 Feb 2024 facebookresearch/crystal-llm/basic_eval.py cf46a2fecbc874d2 ran licence not identified · pointer only
Are Large Language Models Good Prompt Optimizers? 3 Feb 2024 rtmaww/LLM_AutoPromptStudy/LLM/thread_utils.py 132d00fe97f4c5c1 ran no licence file found · pointer only
Learning big logical rules by joining small rules 29 Jan 2024 celinehocquette/ijcai24-joiner/joiner/popper/util.py 829094d074a416ac ran no licence file found · pointer only
Stealthy and Persistent Unalignment on Large Language Models via Backdoor Injections 15 Nov 2023 caoyuanpu/backdoorunalign/auto_eval.py 0b978e0d687562ae ran no licence file found · pointer only
StrategyLLM: Large Language Models as Strategy Generators, Executors, Optimizers, and Evaluators for Problem Solving 15 Nov 2023 gao-xiao-bai/StrategyLLM/source/model/base.py cf46a2fecbc874d2 ran MIT (permissive)
Are Human-generated Demonstrations Necessary for In-context Learning? 26 Sep 2023 ruili33/sec/models/api_base.py 39371ef75b2a42aa ran no licence file found · pointer only
Learning MDL logic programs from noisy data 18 Aug 2023 celinehocquette/aaai24-maxsynth/maxsynth/popper/util.py 829094d074a416ac ran no licence file found · pointer only
Faithful Chain-of-Thought Reasoning 31 Jan 2023 veronica320/faithful-cot/source/model/codex.py cf46a2fecbc874d2 ran MIT (permissive)
Code Translation with Compiler Representations 30 Jun 2022 facebookresearch/CodeGen/codegen_sources/IR_tools/utils_ir.py 781797e5f4a5b6ec unverified MIT recorded; this copy not marked cleared · pointer only
Pretrained Language Models are Symbolic Mathematics Solvers too! 7 Oct 2021 softsys4ai/differentiable-proving/src/utils.py e7b55aa114a5156a unverified MIT (permissive)
Evaluating Large Language Models Trained on Code 7 Jul 2021 codedotal/gpt-code-clippy/data_processing/download_license_info.py 2e22b41539e9cf87 unverified Apache-2.0 (permissive)
arXiv:aaai_34511 microsoft/SynQo/magic/multi_agent_feedback_generation.py 9a3da427295e86ae ran MIT (permissive)
arXiv:2024.emnlp-main.481 yangheng95/Rapid/textattack/attacker.py ee2aa0668f50e6a0 unverified MIT (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