{"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/heaviside","entry":"heaviside","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":7,"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":7,"n_samples_ran":6,"n_samples_fingerprinted":5,"n_places":8,"n_places_pointer_only":3,"by_status":{"ran_honours":1,"ran_violates":1,"ran_draft_wrong":2,"ran_fixture":0,"ran":2,"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.16851","paper":"/paper/temporal-spiking-neural-networks-with","title":"Temporal Spiking Neural Networks with Synaptic Delay for Graph Reasoning","date":"2024-05-27","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"pkuxmq/GRSNN","path":"grsnn/surrogate.py","file_url":"https://github.com/pkuxmq/GRSNN/blob/HEAD/grsnn/surrogate.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"f820a2e41836545d","mcp_get_code":{"code_sha256":"f820a2e41836545d"}},{"arxiv_id":"2403.14606","paper":"/paper/the-elements-of-differentiable-programming","title":"The Elements of Differentiable Programming","date":"2024-03-21","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"diffprog/code","path":"control_flows/plot_soft_comparison.py","file_url":"https://github.com/diffprog/code/blob/HEAD/control_flows/plot_soft_comparison.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"bbda47f128c79ae1","mcp_get_code":{"code_sha256":"bbda47f128c79ae1"}},{"arxiv_id":"2305.16044","paper":"/paper/exploiting-noise-as-a-resource-for","title":"Exploiting Noise as a Resource for Computation and Learning in Spiking Neural Networks","date":"2023-05-25","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"genema/Noisy-Spiking-Neuron-Nets","path":"models/NILIF.py","file_url":"https://github.com/genema/Noisy-Spiking-Neuron-Nets/blob/HEAD/models/NILIF.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"MISDECLARED","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"LGPL-2.1","inline_ok":false,"code_sha256_prefix":"50b5e780a5cfc0fc","mcp_get_code":{"code_sha256":"50b5e780a5cfc0fc"}},{"arxiv_id":"2207.04873","paper":"/paper/hierarchical-average-precision-training-for","title":"Hierarchical Average Precision Training for Pertinent Image Retrieval","date":"2022-07-05","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"elias-ramzi/HAPPIER","path":"happier/losses/hap_loss.py","file_url":"https://github.com/elias-ramzi/HAPPIER/blob/HEAD/happier/losses/hap_loss.py","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"a2a835592cd98f2b","mcp_get_code":{"code_sha256":"a2a835592cd98f2b"}},{"arxiv_id":"2203.01629","paper":"/paper/continuous-relaxation-for-the-multivariate","title":"Learning Group Importance using the Differentiable Hypergeometric Distribution","date":"2022-03-03","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"thomassutter/mvhg","path":"mvhg/tf_fmvhg.py","file_url":"https://github.com/thomassutter/mvhg/blob/HEAD/mvhg/tf_fmvhg.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":"2d35babdf0eed62d","mcp_get_code":{"code_sha256":"2d35babdf0eed62d"}},{"arxiv_id":"2110.01445","paper":"/paper/robust-and-decomposable-average-precision-for","title":"Robust and Decomposable Average Precision for Image Retrieval","date":"2021-10-01","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"elias-ramzi/roadmap","path":"roadmap/losses/smooth_rank_ap.py","file_url":"https://github.com/elias-ramzi/roadmap/blob/HEAD/roadmap/losses/smooth_rank_ap.py","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"a2a835592cd98f2b","mcp_get_code":{"code_sha256":"a2a835592cd98f2b"}},{"arxiv_id":"1906.02107","paper":"/paper/latent-weights-do-not-exist-rethinking","title":"Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization","date":"2019-06-05","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"larq/larq","path":"larq/math.py","file_url":"https://github.com/larq/larq/blob/HEAD/larq/math.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":"b877c5a8c2435a58","mcp_get_code":{"code_sha256":"b877c5a8c2435a58"}},{"arxiv_id":"1711.00123","paper":"/paper/backpropagation-through-the-void-optimizing","title":"Backpropagation through the Void: Optimizing control variates for black-box gradient estimation","date":"2017-10-31","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"duvenaud/relax","path":"relax-autograd/relax.py","file_url":"https://github.com/duvenaud/relax/blob/HEAD/relax-autograd/relax.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"3e154795b809f8c9","mcp_get_code":{"code_sha256":"3e154795b809f8c9"}}]}