{"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/setminus","entry":"setminus","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":7,"n_papers_ran":6,"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":4,"n_samples_ran":3,"n_samples_fingerprinted":3,"n_places":7,"n_places_pointer_only":2,"by_status":{"ran_honours":0,"ran_violates":1,"ran_draft_wrong":0,"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":"2409.19732","paper":"/paper/unified-gradient-based-machine-unlearning","title":"Unified Gradient-Based Machine Unlearning with Remain Geometry Enhancement","date":"2024-09-29","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"lioutang/unlearn-apollo-attack","path":"attack.py","file_url":"https://github.com/lioutang/unlearn-apollo-attack/blob/HEAD/attack.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"f1ab27640c7765be","mcp_get_code":{"code_sha256":"f1ab27640c7765be"}},{"arxiv_id":"2406.08666","paper":"/paper/interventional-causal-discovery-in-a-mixture","title":"Interventional Causal Discovery in a Mixture of DAGs","date":"2024-06-12","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"bvarici/intervention-mixture-dag","path":"utils.py","file_url":"https://github.com/bvarici/intervention-mixture-dag/blob/HEAD/utils.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":"1c5c62c915a1cf36","mcp_get_code":{"code_sha256":"1c5c62c915a1cf36"}},{"arxiv_id":"2406.05937","paper":"/paper/linear-causal-representation-learning-from","title":"Linear Causal Representation Learning from Unknown Multi-node Interventions","date":"2024-06-09","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"acarturk-e/umni-crl","path":"umni_crl.py","file_url":"https://github.com/acarturk-e/umni-crl/blob/HEAD/umni_crl.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"4ef279a94a85bf35","mcp_get_code":{"code_sha256":"4ef279a94a85bf35"}},{"arxiv_id":"2402.00849","paper":"/paper/score-based-causal-representation-learning-1","title":"Score-based Causal Representation Learning: Linear and General Transformations","date":"2024-02-01","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":null,"path":"","file_url":null,"status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":null,"inline_ok":false,"code_sha256_prefix":"4ef279a94a85bf35","mcp_get_code":{"code_sha256":"4ef279a94a85bf35"}},{"arxiv_id":"2310.18715","paper":"/paper/robust-offline-policy-evaluation-and","title":"Robust Offline Reinforcement learning with Heavy-Tailed Rewards","date":"2023-10-28","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"mamba413/room","path":"Cartpole/_util.py","file_url":"https://github.com/mamba413/room/blob/HEAD/Cartpole/_util.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"fe85da14d45dd5ae","mcp_get_code":{"code_sha256":"fe85da14d45dd5ae"}},{"arxiv_id":"2310.15450","paper":"/paper/general-identifiability-and-achievability-for","title":"General Identifiability and Achievability for Causal Representation Learning","date":"2023-10-24","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"acarturk-e/score-based-crl","path":"UMNI-CRL/umni_crl.py","file_url":"https://github.com/acarturk-e/score-based-crl/blob/HEAD/UMNI-CRL/umni_crl.py","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"4ef279a94a85bf35","mcp_get_code":{"code_sha256":"4ef279a94a85bf35"}},{"arxiv_id":"2105.04646","paper":"/paper/deeply-debiased-off-policy-interval","title":"Deeply-Debiased Off-Policy Interval Estimation","date":"2021-05-10","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"RunzheStat/D2OPE","path":"_util.py","file_url":"https://github.com/RunzheStat/D2OPE/blob/HEAD/_util.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"fe85da14d45dd5ae","mcp_get_code":{"code_sha256":"fe85da14d45dd5ae"}}]}