{"id":"https://openalex.org/W7077507337","doi":"https://doi.org/10.48550/arxiv.2508.16109","title":"From Indirect Object Identification to Syllogisms: Exploring Binary Mechanisms in Transformer Circuits","display_name":"From Indirect Object Identification to Syllogisms: Exploring Binary Mechanisms in Transformer Circuits","publication_year":2025,"publication_date":"2025-08-22","ids":{"openalex":"https://openalex.org/W7077507337","doi":"https://doi.org/10.48550/arxiv.2508.16109"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2508.16109","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2508.16109","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2508.16109","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Saraipour, Karim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saraipour, Karim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Zhang, Shichang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Shichang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.3878999948501587,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.3878999948501587,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13177","display_name":"Geological and Geophysical Studies","score":0.049400001764297485,"subfield":{"id":"https://openalex.org/subfields/1907","display_name":"Geology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13067","display_name":"Geological Modeling and Analysis","score":0.026900000870227814,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.8197000026702881},{"id":"https://openalex.org/keywords/syllogism","display_name":"Syllogism","score":0.6915000081062317},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.555899977684021},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5285999774932861},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5055999755859375},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.48559999465942383},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.4731000065803528},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.46939998865127563},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.44449999928474426}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8197000026702881},{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.6915000081062317},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6880000233650208},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.555899977684021},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5285999774932861},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.48559999465942383},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4731000065803528},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.46939998865127563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4449999928474426},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.44449999928474426},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.4131999909877777},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34630000591278076},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3310000002384186},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.31299999356269836},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C66905080","wikidata":"https://www.wikidata.org/wiki/Q17005494","display_name":"Binary classification","level":3,"score":0.27059999108314514},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2522999942302704},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2508.16109","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2508.16109","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2508.16109","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2508.16109","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transformer-based":[0],"language":[1],"models":[2],"(LMs)":[3],"can":[4],"perform":[5],"a":[6,120,135,140,180],"wide":[7],"range":[8],"of":[9,50,90,94,149,168,183],"tasks,":[10],"and":[11,107,172,186],"mechanistic":[12,191],"interpretability":[13],"(MI)":[14],"aims":[15],"to":[16,25,53,85,118,158,179],"reverse":[17],"engineer":[18],"the":[19,48,116,126,150,166],"components":[20],"responsible":[21],"for":[22],"task":[23,113],"completion":[24],"understand":[26],"their":[27],"behavior.":[28],"Previous":[29],"MI":[30],"research":[31,189],"has":[32],"focused":[33],"on":[34],"linguistic":[35],"tasks":[36,93],"such":[37],"as":[38],"Indirect":[39],"Object":[40],"Identification":[41],"(IOI).":[42],"In":[43],"this":[44],"paper,":[45],"we":[46,97,161],"investigate":[47],"ability":[49,117],"GPT-2":[51],"small":[52],"handle":[54],"binary":[55,109],"truth":[56],"values":[57],"by":[58],"analyzing":[59],"its":[60],"behavior":[61],"with":[62],"syllogistic":[63],"prompts,":[64],"e.g.,":[65],"\"Statement":[66],"A":[67],"is":[68],"true.":[69],"Statement":[70,75],"B":[71,76],"matches":[72],"statement":[73],"A.":[74],"is\",":[77],"which":[78],"requires":[79],"more":[80],"complex":[81],"logical":[82],"reasoning":[83,185],"compared":[84],"IOI.":[86],"Through":[87],"our":[88,156],"analysis":[89],"several":[91],"syllogism":[92],"varying":[95],"difficulty,":[96],"identify":[98],"multiple":[99],"circuits":[100],"that":[101,111,139],"mechanistically":[102],"explain":[103],"GPT-2's":[104],"logical-reasoning":[105],"capabilities":[106],"uncover":[108],"mechanisms":[110],"facilitate":[112],"completion,":[114],"including":[115],"produce":[119],"negated":[121],"token":[122],"not":[123],"present":[124],"in":[125,174,190],"input":[127],"prompt":[128],"through":[129],"negative":[130],"heads.":[131],"Our":[132],"evaluation":[133],"using":[134],"faithfulness":[136],"metric":[137],"shows":[138],"circuit":[141],"comprising":[142],"five":[143],"attention":[144,170],"heads":[145,171],"achieves":[146],"over":[147],"90%":[148],"original":[151],"model's":[152],"performance.":[153],"By":[154],"relating":[155],"findings":[157],"IOI":[159],"analysis,":[160],"provide":[162],"new":[163],"insights":[164,177],"into":[165],"roles":[167],"specific":[169],"MLPs":[173],"LMs.":[175],"These":[176],"contribute":[178],"broader":[181],"understanding":[182],"model":[184],"support":[187],"future":[188],"interpretability.":[192]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}