{"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":"/paper/an-investigation-of-neuron-activation-as-a","title":"An Investigation of Neuron Activation as a Unified Lens to Explain Chain-of-Thought Eliciting Arithmetic Reasoning of LLMs","arxiv_id":"2406.12288","date":"2024-06-18","proceeding":null,"authors":["Daking Rai","Ziyu Yao"],"abstract":"Large language models (LLMs) have shown strong arithmetic reasoning capabilities when prompted with Chain-of-Thought (CoT) prompts. However, we have only a limited understanding of how they are processed by LLMs. To demystify it, prior work has primarily focused on ablating different components in the CoT prompt and empirically observing their resulting LLM performance change. Yet, the reason why these components are important to LLM reasoning is not explored. To fill this gap, in this work, we investigate ``neuron activation'' as a lens to provide a unified explanation to observations made by prior work. Specifically, we look into neurons within the feed-forward layers of LLMs that may have activated their arithmetic reasoning capabilities, using Llama2 as an example. To facilitate this investigation, we also propose an approach based on GPT-4 to automatically identify neurons that imply arithmetic reasoning. Our analyses revealed that the activation of reasoning neurons in the feed-forward layers of an LLM can explain the importance of various components in a CoT prompt, and future research can extend it for a more complete understanding.","url_abs":"https://arxiv.org/abs/2406.12288v3","url_pdf":"https://arxiv.org/pdf/2406.12288v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"an-investigation-of-neuron-activation-as-a","repo_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":{"status":"ok"}},{"paper_slug":"an-investigation-of-neuron-activation-as-a","repo_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"pytorch","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[{"task_slug":"arithmetic-reasoning","task_name":"Arithmetic Reasoning"}],"methods":[{"method_slug":"absolute-position-encodings","method_name":"Absolute Position Encodings"},{"method_slug":"adam","method_name":"Adam"},{"method_slug":"attention","method_name":"Attention"},{"method_slug":"bpe","method_name":"BPE"},{"method_slug":"dense-connections","method_name":"Dense Connections"},{"method_slug":"dropout","method_name":"Dropout"},{"method_slug":"gpt-4","method_name":"GPT-4"},{"method_slug":"label-smoothing","method_name":"Label Smoothing"},{"method_slug":"layer-normalization","method_name":"Layer Normalization"},{"method_slug":"linear-layer","method_name":"Linear Layer"},{"method_slug":"multi-head-attention","method_name":"Multi-Head Attention"},{"method_slug":"position-wise-feed-forward-layer","method_name":"Position-Wise Feed-Forward Layer"},{"method_slug":"residual-connection","method_name":"Residual Connection"},{"method_slug":"softmax","method_name":"Softmax"},{"method_slug":"transformer","method_name":"Transformer"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2406.12288","atlas_url":"https://app.syntology.ai/?focus=2406.12288","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2406.12288"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning","reach":{"status":"ok"}},{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran_fixture":2,"ran_violates":3,"ran":29,"unverified":2},"by_repo_kind":{"official":{"samples":11,"ran":11,"repositories":1},"listed":{"samples":25,"ran":23,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":11,"samples":[{"code_sha256_prefix":"d7b6dcfe63bfe59b","entry":"apply_rotary_emb","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"llama/model.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/llama/model.py","link_basis":"harvester_set","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":"invariant","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d7b6dcfe63bfe59b"}},{"code_sha256_prefix":"8231e3fdffa9c8ee","entry":"condition_has_like","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/evaluation.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/evaluation.py","link_basis":"harvester_set","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"8231e3fdffa9c8ee"}},{"code_sha256_prefix":"f2d76234528d3b57","entry":"condition_has_or","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/evaluation.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/evaluation.py","link_basis":"harvester_set","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"f2d76234528d3b57"}},{"code_sha256_prefix":"64dd3849a251a1bf","entry":"convert_fk_index","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/get_tables.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/get_tables.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"64dd3849a251a1bf"}},{"code_sha256_prefix":"992c7947d4eb2bb1","entry":"dump_db_json_schema","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/get_tables.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/get_tables.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"992c7947d4eb2bb1"}},{"code_sha256_prefix":"86934d817edfb0b2","entry":"extract_answers","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"gsm8k_inference.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/gsm8k_inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"86934d817edfb0b2"}},{"code_sha256_prefix":"f538f708c101a742","entry":"filter_neurons","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"experiments/neuron_discovery/prompt_gpt.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/experiments/neuron_discovery/prompt_gpt.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"f538f708c101a742"}},{"code_sha256_prefix":"5dfbf88ad85ff847","entry":"get_concept_token","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"experiments/neuron_discovery/prompt_gpt.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/experiments/neuron_discovery/prompt_gpt.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5dfbf88ad85ff847"}},{"code_sha256_prefix":"f585b2c1cb9db5ed","entry":"get_intervene_dict","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"experiments/ablation_study/corrupt_inference.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/experiments/ablation_study/corrupt_inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"f585b2c1cb9db5ed"}},{"code_sha256_prefix":"79c240794dbedd88","entry":"get_random_neurons","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"experiments/ablation_study/corrupt_inference.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/experiments/ablation_study/corrupt_inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"79c240794dbedd88"}},{"code_sha256_prefix":"0992d2a47ae733fa","entry":"get_schema","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/process_sql.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/process_sql.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"0992d2a47ae733fa"}},{"code_sha256_prefix":"c4dcaf29b663a364","entry":"get_schema_from_json","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/process_sql.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/process_sql.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"c4dcaf29b663a364"}},{"code_sha256_prefix":"1e399f0027148c73","entry":"insert_from_natsql","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"utils.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"1e399f0027148c73"}},{"code_sha256_prefix":"06ac1db87dec5a08","entry":"insert_from_natsql","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/inference.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"06ac1db87dec5a08"}},{"code_sha256_prefix":"d12e4d909a954372","entry":"insert_from_natsql_all","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"utils.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d12e4d909a954372"}},{"code_sha256_prefix":"817623d12e3dc619","entry":"insert_from_natsql_single","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/inference.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"817623d12e3dc619"}},{"code_sha256_prefix":"b724cc2d4066a429","entry":"is_commonword","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/bridge_content_encoder.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/bridge_content_encoder.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"b724cc2d4066a429"}},{"code_sha256_prefix":"f39fdc1ce6cffe08","entry":"is_number","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/bridge_content_encoder.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/bridge_content_encoder.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"f39fdc1ce6cffe08"}},{"code_sha256_prefix":"d56a1f9221823a48","entry":"is_stopword","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/bridge_content_encoder.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/bridge_content_encoder.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d56a1f9221823a48"}},{"code_sha256_prefix":"2178b95c919ae420","entry":"join_tokens","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/parse.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/parse.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"2178b95c919ae420"}},{"code_sha256_prefix":"c09cd334d12700d3","entry":"load_data","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"experiments/neuron_discovery/prompt_gpt.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/experiments/neuron_discovery/prompt_gpt.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c09cd334d12700d3"}},{"code_sha256_prefix":"e2470d9fb45b08bf","entry":"load_data","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/inference.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"e2470d9fb45b08bf"}},{"code_sha256_prefix":"448eab4c7249a72c","entry":"normalize","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/dataset.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/dataset.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"448eab4c7249a72c"}},{"code_sha256_prefix":"f23d6ff3772963bc","entry":"permute_tuple","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/exec_eval.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/exec_eval.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"f23d6ff3772963bc"}},{"code_sha256_prefix":"58e472cff9780d63","entry":"postprocess","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/parse.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/parse.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"58e472cff9780d63"}},{"code_sha256_prefix":"04a1fa63d6d4b8e4","entry":"precompute_freqs_cis","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"llama/model.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/llama/model.py","link_basis":"harvester_set","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"well_formed","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"04a1fa63d6d4b8e4"}},{"code_sha256_prefix":"a40510ba6a37f798","entry":"quick_rej","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/exec_eval.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/exec_eval.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"a40510ba6a37f798"}},{"code_sha256_prefix":"396741975c6b6994","entry":"read_data","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"gsm8k_inference.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/gsm8k_inference.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"396741975c6b6994"}},{"code_sha256_prefix":"63fda278334d1f2e","entry":"read_data","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/evaluation.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/evaluation.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"63fda278334d1f2e"}},{"code_sha256_prefix":"fde2a650a2455e30","entry":"read_json","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/token_preprocessing.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/token_preprocessing.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"fde2a650a2455e30"}},{"code_sha256_prefix":"4bb08893ae4be14f","entry":"remove_from_clause","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"utils.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"4bb08893ae4be14f"}},{"code_sha256_prefix":"5a639d78ada17fee","entry":"reshape_for_broadcast","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"llama/model.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/llama/model.py","link_basis":"harvester_set","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":"invariant","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5a639d78ada17fee"}},{"code_sha256_prefix":"e28848558038eee4","entry":"sample_top_p","repo":"dakingrai/neuron-analysis-cot-arithmetic-reasoning","repo_kind":"official","path":"llama/generation.py","file_url":"https://github.com/dakingrai/neuron-analysis-cot-arithmetic-reasoning/blob/HEAD/llama/generation.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e28848558038eee4"}},{"code_sha256_prefix":"afc8ef89576ef2aa","entry":"unorder_row","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/exec_eval.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/exec_eval.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"afc8ef89576ef2aa"}},{"code_sha256_prefix":"d3c1fa9d710cc4ff","entry":"prepare_splits","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/dataset.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/dataset.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d3c1fa9d710cc4ff"}},{"code_sha256_prefix":"a906f5de1f5971b0","entry":"tokenize","repo":"dakingrai/ood-generalization-semantic-boundary-techniques","repo_kind":"listed","path":"evaluations/src/process_sql.py","file_url":"https://github.com/dakingrai/ood-generalization-semantic-boundary-techniques/blob/HEAD/evaluations/src/process_sql.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"a906f5de1f5971b0"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}