Home › Code › add

add

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

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

2ran · honoured contract
1ran · violated contract
1ran · our draft was wrong
2ran · fixture could not drive it
5ran
7unverified
4fingerprinted

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

19 papers shown of 19, newest first; 19 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; 1 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
KromHC: Manifold-Constrained Hyper-Connections with Kronecker-Product Residual Matrices added by Syntology 2026-01 (from id) wz1119/KromHC/hyper_conn/Kromhc.py 1dacda5180fc1b73 ran · honoured contract fingerprinted no licence file found · pointer only
SynQP: A Framework and Metrics for Evaluating the Quality and Privacy Risk of Synthetic Data added by Syntology 2026-01 (from id) CAN-SYNH/SynQP/Final_CTGAN_DP_PrivacyEval.py b56815d2b256eabe ran MIT (permissive)
APEX: Approximate-but-Exhaustive Search for Ultra-Large Combinatorial Synthesis Libraries added by Syntology 2025-10 (from id) NumerionLabs/apex/apex/nn/scatter.py 2f6da2716aecc750 unverified licence not identified · pointer only
ARC Prize 2024: Technical Report 5 Dec 2024 michaelhodel/re-arc/dsl.py 32b506d5ac9d3ef7 unverified MIT (permissive)
Learning to Optimize for Mixed-Integer Non-linear Programming with Feasibility Guarantees 14 Oct 2024 pnnl/neuromancer/src/neuromancer/arg.py 29a7dc8bf982359a ran licence not identified · pointer only
MIRAGE: Evaluating and Explaining Inductive Reasoning Process in Language Models 12 Oct 2024 BugMakerzzz/mirage/src/generate_data.py ae6d6e516578392b ran · fixture could not drive it no licence file found · pointer only
Pruner-Zero: Evolving Symbolic Pruning Metric from scratch for Large Language Models 5 Jun 2024 pprp/pruner-zero/lib/gptree.py 28f088bf9d4cf797 ran fingerprinted MIT (permissive)
Allo: A Programming Model for Composable Accelerator Design 7 Apr 2024 cornell-zhang/allo/allo/dsl.py 156caede4d5f8d82 ran fingerprinted Apache-2.0 (permissive)
Neural Network Diffusion 20 Feb 2024 nus-hpc-ai-lab/neural-network-diffusion/workspace/ensemble.py 1140e6a2186745ab ran no licence file found · pointer only
Executable Code Actions Elicit Better LLM Agents 1 Feb 2024 langchain-ai/langgraph-codeact/examples/math_example.py 084846ce6b55992b ran · violated contract fingerprinted MIT (permissive)
IPMix: Label-Preserving Data Augmentation Method for Training Robust Classifiers 7 Oct 2023 hzlsaber/IPMix/cifar.py cbb347ae0777187b ran · fixture could not drive it MIT (permissive)
Make Landscape Flatter in Differentially Private Federated Learning 20 Mar 2023 YMJS-Irfan/DP-FedSAM/fedml_api/dpfedsam/dpfedsam_api.py 5db9fffe698896fb ran · our draft was wrong no licence file found · pointer only
Language Model Crossover: Variation through Few-Shot Prompting 23 Feb 2023 carperai/openelm/src/openelm/benchmarks/benchmark_tinygp.py 1dacda5180fc1b73 ran · honoured contract fingerprinted MIT (permissive)
A computational framework for physics-informed symbolic regression with straightforward integration of domain knowledge 13 Sep 2022 lironsimon/scimed/algo/ebs/eq_functions.py 86d31a687f794a34 unverified MIT (permissive)
RECALL: Replay-based Continual Learning in Semantic Segmentation 8 Aug 2021 LTTM/RECALL/model_resnet.py a96ff10f26036567 ran · honoured contract MIT (permissive)
Evaluating Large Language Models Trained on Code 7 Jul 2021 openai/code-align-evals-data/bad-solutions/add.py 9f6bcf31e58add54 unverified MIT (permissive)
Certified Robustness to Programmable Transformations in LSTMs 15 Feb 2021 foreverzyh/certified_lstms/src/ibp.py 716e459ff7dd0927 unverified MIT (permissive)
Certified Robustness to Adversarial Word Substitutions 3 Sep 2019 robinjia/certified-word-sub/src/ibp.py ab6c8d85177396c2 unverified MIT (permissive)
arXiv:2023.findings-acl.42 JHL-HUST/EIBC-IBP/src/ibp.py 4bdf8236db18fee0 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