{"id":"https://openalex.org/W4403364901","doi":"https://doi.org/10.48550/arxiv.2410.07476","title":"Towards a unified and verified understanding of group-operation networks","display_name":"Towards a unified and verified understanding of group-operation networks","publication_year":2024,"publication_date":"2024-10-09","ids":{"openalex":"https://openalex.org/W4403364901","doi":"https://doi.org/10.48550/arxiv.2410.07476"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2410.07476","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.07476","pdf_url":"https://arxiv.org/pdf/2410.07476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2410.07476","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046916906","display_name":"Wenshi Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wu, Wilson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111396857","display_name":"Louis Jaburi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jaburi, Louis","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111396858","display_name":"Jacob Drori","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Drori, Jacob","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113431588","display_name":"Jason Gross","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gross, Jason","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046916906"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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":false,"primary_topic":{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.7649999856948853,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.7649999856948853,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7581999897956848,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.7386000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.6684640049934387},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45153385400772095},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.42331740260124207},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26085716485977173},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.19454333186149597}],"concepts":[{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.6684640049934387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45153385400772095},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.42331740260124207},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26085716485977173},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.19454333186149597},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2410.07476","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.07476","pdf_url":"https://arxiv.org/pdf/2410.07476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2410.07476","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2410.07476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2410.07476","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.07476","pdf_url":"https://arxiv.org/pdf/2410.07476","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320315389","display_name":"Open Philanthropy Project","ror":"https://ror.org/004d1k391"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403364901.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4313320911","https://openalex.org/W4327743144","https://openalex.org/W4245077728","https://openalex.org/W2390279801","https://openalex.org/W2607424049","https://openalex.org/W4390922876","https://openalex.org/W3183204001","https://openalex.org/W4206302830"],"abstract_inverted_index":{"A":[0],"recent":[1],"line":[2],"of":[3,23,30,48,58,88,101,107,141,159],"work":[4],"in":[5,51,74],"mechanistic":[6],"interpretability":[7],"has":[8],"focused":[9],"on":[10,19,35,91,125,133],"reverse-engineering":[11],"the":[12,20,28,56,108,120,126,160],"computation":[13],"performed":[14],"by":[15,94],"neural":[16,32],"networks":[17,33,89],"trained":[18,34,90,132],"binary":[21],"operation":[22],"finite":[24],"groups.":[25],"We":[26,78,164],"investigate":[27],"internals":[29],"one-hidden-layer":[31],"this":[36,92,134],"task,":[37],"revealing":[38],"previously":[39],"unidentified":[40],"structure":[41],"and":[42,114,151],"producing":[43],"a":[44,52,85,98,104,139,153],"more":[45],"complete":[46],"description":[47],"such":[49],"models":[50,71,131,161],"step":[53],"towards":[54],"unifying":[55],"explanations":[57,175],"previous":[59,177],"works":[60],"(Chughtai":[61],"et":[62,66],"al.,":[63,67],"2023;":[64],"Stander":[65],"2024).":[68],"Notably,":[69],"these":[70],"approximate":[72],"equivariance":[73],"each":[75],"input":[76],"argument.":[77],"verify":[79],"that":[80,144],"our":[81,136],"explanation":[82,137],"applies":[83],"to":[84,110,167],"large":[86],"fraction":[87],"task":[93],"translating":[95],"it":[96],"into":[97],"compact":[99],"proof":[100],"model":[102,117,142],"performance,":[103],"quantitative":[105],"evaluation":[106],"extent":[109],"which":[111],"we":[112,123,162],"faithfully":[113],"concisely":[115],"explain":[116],"internals.":[118],"In":[119],"main":[121],"text,":[122],"focus":[124],"symmetric":[127],"group":[128],"S5.":[129],"For":[130],"group,":[135],"yields":[138],"guarantee":[140],"accuracy":[143,155,171],"runs":[145],"3x":[146],"faster":[147],"than":[148],"brute":[149],"force":[150],"gives":[152],">=95%":[154],"bound":[156],"for":[157],"45%":[158],"trained.":[163],"were":[165],"unable":[166],"obtain":[168],"nontrivial":[169],"non-vacuous":[170],"bounds":[172],"using":[173],"only":[174],"from":[176],"works.":[178]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2024-10-13T00:00:00"}