{"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/implements","entry":"implements","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":5,"n_papers_ran":3,"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":5,"n_samples_ran":3,"n_samples_fingerprinted":0,"n_places":5,"n_places_pointer_only":1,"by_status":{"ran_honours":0,"ran_violates":0,"ran_draft_wrong":2,"ran_fixture":0,"ran":1,"unverified":2},"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":"2410.06215","paper":"/paper/dataenvgym-data-generation-agents-in-teacher","title":"DataEnvGym: Data Generation Agents in Teacher Environments with Student Feedback","date":"2024-10-08","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"codezakh/dataenvgym","path":"src/dataenvgym/gym/domain_models.py","file_url":"https://github.com/codezakh/dataenvgym/blob/HEAD/src/dataenvgym/gym/domain_models.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"421d77d00740f5dd","mcp_get_code":{"code_sha256":"421d77d00740f5dd"}},{"arxiv_id":"2207.08867","paper":"/paper/mctensor-a-high-precision-deep-learning","title":"MCTensor: A High-Precision Deep Learning Library with Multi-Component Floating-Point","date":"2022-07-18","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ydtydr/mctensor","path":"src/MCTensor/MCTensor.py","file_url":"https://github.com/ydtydr/mctensor/blob/HEAD/src/MCTensor/MCTensor.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"code_sha256_prefix":"491f045eaee97164","mcp_get_code":{"code_sha256":"491f045eaee97164"}},{"arxiv_id":"2110.04176","paper":"/paper/lightweight-convolutional-neural-networks-by","title":"PHNNs: Lightweight Neural Networks via Parameterized Hypercomplex Convolutions","date":"2021-10-08","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ispamm/hi2i","path":"htorch/quaternion.py","file_url":"https://github.com/ispamm/hi2i/blob/HEAD/htorch/quaternion.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"346a1f46489131dd","mcp_get_code":{"code_sha256":"346a1f46489131dd"}},{"arxiv_id":"2010.14501","paper":"/paper/memory-optimization-for-deep-networks-1","title":"Memory Optimization for Deep Networks","date":"2020-10-27","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"utsaslab/MONeT","path":"monet/lm_ops/base.py","file_url":"https://github.com/utsaslab/MONeT/blob/HEAD/monet/lm_ops/base.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"9cadd8f17f01dde3","mcp_get_code":{"code_sha256":"9cadd8f17f01dde3"}},{"arxiv_id":"1705.09792","paper":"/paper/deep-complex-networks","title":"Deep Complex Networks","date":"2017-05-27","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ispamm/htorch","path":"htorch/quaternion.py","file_url":"https://github.com/ispamm/htorch/blob/HEAD/htorch/quaternion.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":"ca24c08883bb62da","mcp_get_code":{"code_sha256":"ca24c08883bb62da"}}]}