{"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/check-bn","entry":"check_bn","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":9,"n_papers_ran":8,"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":3,"n_samples_ran":2,"n_samples_fingerprinted":0,"n_places":9,"n_places_pointer_only":3,"by_status":{"ran_honours":0,"ran_violates":2,"ran_draft_wrong":0,"ran_fixture":0,"ran":0,"unverified":1},"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":"2405.01817","paper":"/paper/uniformly-stable-algorithms-for-adversarial","title":"Uniformly Stable Algorithms for Adversarial Training and Beyond","date":"2024-05-03","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"jiancongxiao/moreau-envelope-sgd","path":"adversarial_robustness_overfitting/swa_utils.py","file_url":"https://github.com/jiancongxiao/moreau-envelope-sgd/blob/HEAD/adversarial_robustness_overfitting/swa_utils.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"2302.12480","paper":"/paper/robust-weight-signatures-gaining-robustness","title":"Robust Weight Signatures: Gaining Robustness as Easy as Patching Weights?","date":"2023-02-24","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"VITA-Group/Robust_Weight_Signatures","path":"tools.py","file_url":"https://github.com/VITA-Group/Robust_Weight_Signatures/blob/HEAD/tools.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"2301.09879","paper":"/paper/data-augmentation-alone-can-improve","title":"Data Augmentation Alone Can Improve Adversarial Training","date":"2023-01-24","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"treelli/da-alone-improves-at","path":"src/utils/swa.py","file_url":"https://github.com/treelli/da-alone-improves-at/blob/HEAD/src/utils/swa.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"37174e6f1756c905","mcp_get_code":{"code_sha256":"37174e6f1756c905"}},{"arxiv_id":"2210.00557","paper":"/paper/adaptive-smoothness-weighted-adversarial","title":"Adaptive Smoothness-weighted Adversarial Training for Multiple Perturbations with Its Stability Analysis","date":"2022-10-02","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"JiancongXiao/Adaptive-Smoothness-Weighted-AT","path":"utils/swa_utils.py","file_url":"https://github.com/JiancongXiao/Adaptive-Smoothness-Weighted-AT/blob/HEAD/utils/swa_utils.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"1910.09777","paper":"/paper/self-correction-for-human-parsing","title":"Self-Correction for Human Parsing","date":"2019-10-22","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"MR3z4/SemanticSegmentation","path":"utils/schp.py","file_url":"https://github.com/MR3z4/SemanticSegmentation/blob/HEAD/utils/schp.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"2ba40a6b64a21878","mcp_get_code":{"code_sha256":"2ba40a6b64a21878"}},{"arxiv_id":"1905.02244","paper":"/paper/searching-for-mobilenetv3","title":"Searching for MobileNetV3","date":"2019-05-06","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"xiaolai-sqlai/mobilenetv3","path":"utils.py","file_url":"https://github.com/xiaolai-sqlai/mobilenetv3/blob/HEAD/utils.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":false,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"1803.05407","paper":"/paper/averaging-weights-leads-to-wider-optima-and","title":"Averaging Weights Leads to Wider Optima and Better Generalization","date":"2018-03-14","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"dice-group/aswa","path":"utils.py","file_url":"https://github.com/dice-group/aswa/blob/HEAD/utils.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"BSD-2-Clause","inline_ok":true,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"ijcai2023_0111","paper":null,"title":"arXiv:ijcai2023_0111","date":null,"month_inferred_from_arxiv_id":null,"title_source":null,"repo":"xiaolai-sqlai/RaMLP","path":"utils.py","file_url":"https://github.com/xiaolai-sqlai/RaMLP/blob/HEAD/utils.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}},{"arxiv_id":"Zhu_RCL_Reliable_Continual_Learning_for_Unified_Failure_Detection_CVPR_2024_paper","paper":null,"title":"arXiv:Zhu_RCL_Reliable_Continual_Learning_for_Unified_Failure_Detection_CVPR_2024_paper","date":null,"month_inferred_from_arxiv_id":null,"title_source":null,"repo":"Impression2805/RCL","path":"main_cvpr24.py","file_url":"https://github.com/Impression2805/RCL/blob/HEAD/main_cvpr24.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"6e59364a7cf6008f","mcp_get_code":{"code_sha256":"6e59364a7cf6008f"}}]}