{"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/unwrap","entry":"unwrap","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":16,"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":13,"n_samples_ran":4,"n_samples_fingerprinted":0,"n_places":16,"n_places_pointer_only":5,"by_status":{"ran_honours":0,"ran_violates":0,"ran_draft_wrong":1,"ran_fixture":0,"ran":3,"unverified":9},"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":"2609.12915","paper":"/paper/arxiv-2609-12915","title":"LLM-Enhanced Dual-Branch Learning for Large-Scale Multi-Label Text Classification","date":null,"month_inferred_from_arxiv_id":"2026-09","title_source":"syntology","repo":"huiyegit/DualMLC","path":"model.py","file_url":"https://github.com/huiyegit/DualMLC/blob/HEAD/model.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":"fbf802640a712bb2","mcp_get_code":{"code_sha256":"fbf802640a712bb2"}},{"arxiv_id":"2607.28666","paper":"/paper/arxiv-2607-28666","title":"The Checking Problem What must be true before AI ships in a regulated firm","date":null,"month_inferred_from_arxiv_id":"2026-07","title_source":"syntology","repo":"dsauce/checking-problem","path":"eval/parse.py","file_url":"https://github.com/dsauce/checking-problem/blob/HEAD/eval/parse.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"code_sha256_prefix":"8669ece5aa7f8bf1","mcp_get_code":{"code_sha256":"8669ece5aa7f8bf1"}},{"arxiv_id":"2505.10046","paper":"/paper/exploring-the-deep-fusion-of-large-language","title":"Exploring the Deep Fusion of Large Language Models and Diffusion Transformers for Text-to-Image Synthesis","date":"2025-05-15","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"tang-bd/fuse-dit","path":"diffusion/trainers.py","file_url":"https://github.com/tang-bd/fuse-dit/blob/HEAD/diffusion/trainers.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":"89a0489155e4faeb","mcp_get_code":{"code_sha256":"89a0489155e4faeb"}},{"arxiv_id":"2502.04671","paper":"/paper/rm-p-small-roof-w-small-ala-multilingual","title":"ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving","date":"2025-02-07","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"trishullab/itp-interface","path":"src/itp_interface/coq_ser_api/util.py","file_url":"https://github.com/trishullab/itp-interface/blob/HEAD/src/itp_interface/coq_ser_api/util.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"8a0871707686b4d1","mcp_get_code":{"code_sha256":"8a0871707686b4d1"}},{"arxiv_id":"2410.18410","paper":"/paper/frecas-efficient-higher-resolution-image","title":"FreCaS: Efficient Higher-Resolution Image Generation via Frequency-aware Cascaded Sampling","date":"2024-10-24","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"xtudbxk/frecas","path":"utils/wrapper_utils.py","file_url":"https://github.com/xtudbxk/frecas/blob/HEAD/utils/wrapper_utils.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"22c6bd4c45c0c13f","mcp_get_code":{"code_sha256":"22c6bd4c45c0c13f"}},{"arxiv_id":"2403.05286","paper":"/paper/llm4decompile-decompiling-binary-code-with","title":"LLM4Decompile: Decompiling Binary Code with Large Language Models","date":"2024-03-08","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"albertan017/LLM4Decompile","path":"train/colossalai_llm4decompile/colossal_llama/utils/neftune_patch.py","file_url":"https://github.com/albertan017/LLM4Decompile/blob/HEAD/train/colossalai_llm4decompile/colossal_llama/utils/neftune_patch.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"17ffab2bd6e83923","mcp_get_code":{"code_sha256":"17ffab2bd6e83923"}},{"arxiv_id":"2401.15478","paper":"/paper/product-manifold-representations-for-learning","title":"Product Manifold Representations for Learning on Biological Pathways","date":"2024-01-27","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":null,"path":"","file_url":null,"status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":null,"inline_ok":false,"code_sha256_prefix":"c9aaf3ae5278f96a","mcp_get_code":{"code_sha256":"c9aaf3ae5278f96a"}},{"arxiv_id":"2401.09750","paper":"/paper/exploration-and-anti-exploration-with","title":"Exploration and Anti-Exploration with Distributional Random Network Distillation","date":"2024-01-18","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"yk7333/DRND","path":"online/envs.py","file_url":"https://github.com/yk7333/DRND/blob/HEAD/online/envs.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"f2e3732f89410bea","mcp_get_code":{"code_sha256":"f2e3732f89410bea"}},{"arxiv_id":"2311.04732","paper":"/paper/general-purpose-machine-learned-potential-for","title":"General-purpose machine-learned potential for 16 elemental metals and their alloys","date":null,"month_inferred_from_arxiv_id":"2023-11","title_source":"archive","repo":"jonsnow-willow/gpumd-wizard","path":"wizard/structure/analysis.py","file_url":"https://github.com/jonsnow-willow/gpumd-wizard/blob/HEAD/wizard/structure/analysis.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"AGPL-3.0","inline_ok":false,"code_sha256_prefix":"66befef3a620e98a","mcp_get_code":{"code_sha256":"66befef3a620e98a"}},{"arxiv_id":"2310.04148","paper":"/paper/self-supervised-neuron-segmentation-with","title":"Self-Supervised Neuron Segmentation with Multi-Agent Reinforcement Learning","date":"2023-10-06","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"ydchen0806/dbmim","path":"train_finetune.py","file_url":"https://github.com/ydchen0806/dbmim/blob/HEAD/train_finetune.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"code_sha256_prefix":"ba4d5d62b9e2f2a3","mcp_get_code":{"code_sha256":"ba4d5d62b9e2f2a3"}},{"arxiv_id":"2308.04836","paper":"/paper/intrinsic-motivation-via-surprise-memory","title":"Beyond Surprise: Improving Exploration Through Surprise Novelty","date":"2023-08-09","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"thaihungle/sm","path":"envs.py","file_url":"https://github.com/thaihungle/sm/blob/HEAD/envs.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"f2e3732f89410bea","mcp_get_code":{"code_sha256":"f2e3732f89410bea"}},{"arxiv_id":"2304.05969","paper":"/paper/localizing-model-behavior-with-path-patching","title":"Localizing Model Behavior with Path Patching","date":"2023-04-12","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"redwoodresearch/rust_circuit_public","path":"python/rust_circuit/optional.py","file_url":"https://github.com/redwoodresearch/rust_circuit_public/blob/HEAD/python/rust_circuit/optional.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"4cab52cbaf461422","mcp_get_code":{"code_sha256":"4cab52cbaf461422"}},{"arxiv_id":"2104.07495","paper":"/paper/self-supervised-exploration-via-latent","title":"Curiosity-Driven Exploration via Latent Bayesian Surprise","date":"2021-04-15","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"mazpie/lbs-exploration","path":"exploration/envs.py","file_url":"https://github.com/mazpie/lbs-exploration/blob/HEAD/exploration/envs.py","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"f2e3732f89410bea","mcp_get_code":{"code_sha256":"f2e3732f89410bea"}},{"arxiv_id":"1905.11377","paper":"/paper/190511377","title":"FlightGoggles: A Modular Framework for Photorealistic Camera, Exteroceptive Sensor, and Dynamics Simulation","date":null,"month_inferred_from_arxiv_id":"2019-05","title_source":"archive","repo":"mit-aera/pyFlightGoggles","path":"flightgoggles/utils.py","file_url":"https://github.com/mit-aera/pyFlightGoggles/blob/HEAD/flightgoggles/utils.py","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"code_sha256_prefix":"fb846a9ef0f12b55","mcp_get_code":{"code_sha256":"fb846a9ef0f12b55"}},{"arxiv_id":"1804.03329","paper":"/paper/representation-tradeoffs-for-hyperbolic","title":"Representation Tradeoffs for Hyperbolic Embeddings","date":"2018-04-10","month_inferred_from_arxiv_id":null,"title_source":"archive","repo":"mcneela/mixed-curvature-pathways","path":"pytorch/pytorch_hyperbolic.py","file_url":"https://github.com/mcneela/mixed-curvature-pathways/blob/HEAD/pytorch/pytorch_hyperbolic.py","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"code_sha256_prefix":"c9aaf3ae5278f96a","mcp_get_code":{"code_sha256":"c9aaf3ae5278f96a"}},{"arxiv_id":"aaai_25201","paper":null,"title":"arXiv:aaai_25201","date":null,"month_inferred_from_arxiv_id":null,"title_source":null,"repo":"rajatkoner08/InstanceFormer","path":"engine.py","file_url":"https://github.com/rajatkoner08/InstanceFormer/blob/HEAD/engine.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":"49c287ddc66dfc8e","mcp_get_code":{"code_sha256":"49c287ddc66dfc8e"}}]}