{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/code/mul","entry":"mul","source":"Syntology graph, per-sample; not an archive number","read_at":"2026-09-24T18:15:14+00:00","claim":"Names are grouped by exact entry-name string. Same-named routines are NOT asserted to be equivalent; 'ran' means executed on a synthesized fixture, not correctness. n_samples_ran = sum of by_status over every status except 'unverified' (ran_draft_wrong and ran_fixture are failures of Syntology's instrument, not of the code); n_papers_ran = papers with at least one such sample.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"},"n_papers":8,"n_papers_ran":2,"units":"n_samples, n_samples_ran, n_samples_fingerprinted and by_status count distinct code bodies (code_sha256); n_places and n_places_pointer_only count places, one per (paper, code body) pair, which is also the unit of the samples list","n_samples":8,"n_samples_ran":2,"n_samples_fingerprinted":1,"n_places":8,"n_places_pointer_only":0,"by_status":{"ran_honours":0,"ran_violates":0,"ran_draft_wrong":1,"ran_fixture":0,"ran":1,"unverified":6},"syntology":{"atlas_url":null,"mcp":null,"mcp_per_sample":{"tool":"get_code","arguments_in":"samples[].mcp_get_code"},"developers":"https://syntology.ai/developers"},"samples":[{"arxiv_id":"2507.17013","paper":null,"title":"arXiv:2507.17013","date":null,"month_inferred_from_arxiv_id":"2025-07","title_source":null,"repo":"laplax-org/laplax","path":"laplax/curv/ggn.py","file_url":"https://github.com/laplax-org/laplax/blob/HEAD/laplax/curv/ggn.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"d5fee41cbb50c3d9","mcp_get_code":{"code_sha256":"d5fee41cbb50c3d9"}},{"arxiv_id":"2406.02924","paper":"/paper/pruner-zero-evolving-symbolic-pruning-metric","title":"Pruner-Zero: Evolving Symbolic Pruning Metric from scratch for Large Language Models","date":"2024-06-05","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"pprp/pruner-zero","path":"lib/gptree.py","file_url":"https://github.com/pprp/pruner-zero/blob/HEAD/lib/gptree.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"dff0648acd37c706","mcp_get_code":{"code_sha256":"dff0648acd37c706"}},{"arxiv_id":"2310.18285","paper":"/paper/heterogeneous-federated-learning-with-group","title":"Unlocking the Potential of Prompt-Tuning in Bridging Generalized and Personalized Federated Learning","date":"2023-10-27","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ubc-tea/SGPT","path":"models/vit_models_pr.py","file_url":"https://github.com/ubc-tea/SGPT/blob/HEAD/models/vit_models_pr.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"ed12305ac7a0e8c6","mcp_get_code":{"code_sha256":"ed12305ac7a0e8c6"}},{"arxiv_id":"2305.17190","paper":"/paper/multiplication-free-transformer-training-via-1","title":"Multiplication-Free Transformer Training via Piecewise Affine Operations","date":"2023-05-26","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"epfml/piecewise-affine-multiplication","path":"pam/pam_ops.py","file_url":"https://github.com/epfml/piecewise-affine-multiplication/blob/HEAD/pam/pam_ops.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"85332a013577bdd1","mcp_get_code":{"code_sha256":"85332a013577bdd1"}},{"arxiv_id":"2302.12170","paper":"/paper/language-model-crossover-variation-through","title":"Language Model Crossover: Variation through Few-Shot Prompting","date":"2023-02-23","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"carperai/openelm","path":"src/openelm/benchmarks/benchmark_tinygp.py","file_url":"https://github.com/carperai/openelm/blob/HEAD/src/openelm/benchmarks/benchmark_tinygp.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"7bcf15d75988ef3a","mcp_get_code":{"code_sha256":"7bcf15d75988ef3a"}},{"arxiv_id":"2102.07818","paper":"/paper/certified-robustness-to-programmable","title":"Certified Robustness to Programmable Transformations in LSTMs","date":"2021-02-15","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"foreverzyh/certified_lstms","path":"src/ibp.py","file_url":"https://github.com/foreverzyh/certified_lstms/blob/HEAD/src/ibp.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"fb42c3a0a1c88cb9","mcp_get_code":{"code_sha256":"fb42c3a0a1c88cb9"}},{"arxiv_id":"1909.00986","paper":"/paper/certified-robustness-to-adversarial-word","title":"Certified Robustness to Adversarial Word Substitutions","date":"2019-09-03","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"robinjia/certified-word-sub","path":"src/ibp.py","file_url":"https://github.com/robinjia/certified-word-sub/blob/HEAD/src/ibp.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"32e94bdfe3f0afad","mcp_get_code":{"code_sha256":"32e94bdfe3f0afad"}},{"arxiv_id":"2023.findings-acl.42","paper":null,"title":"arXiv:2023.findings-acl.42","date":null,"month_inferred_from_arxiv_id":null,"title_source":null,"repo":"JHL-HUST/EIBC-IBP","path":"src/ibp.py","file_url":"https://github.com/JHL-HUST/EIBC-IBP/blob/HEAD/src/ibp.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"0fece5d3e06af29a","mcp_get_code":{"code_sha256":"0fece5d3e06af29a"}}]}