{"id":"https://openalex.org/W4385227282","doi":"https://doi.org/10.48550/arxiv.2307.11688","title":"Interpretable Graph Networks Formulate Universal Algebra Conjectures","display_name":"Interpretable Graph Networks Formulate Universal Algebra Conjectures","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4385227282","doi":"https://doi.org/10.48550/arxiv.2307.11688"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2307.11688","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":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/abs/2307.11688","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058772124","display_name":"Francesco Giannini","orcid":"https://orcid.org/0000-0001-8492-8110"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giannini, Francesco","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091214145","display_name":"Stefano Fioravanti","orcid":"https://orcid.org/0000-0001-6918-1805"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fioravanti, Stefano","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079703157","display_name":"O\u011fuzhan Keskin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keskin, Oguzhan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108852750","display_name":"Alisia Maria Lupidi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lupidi, Alisia Maria","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004113273","display_name":"Lucie Charlotte Magister","orcid":"https://orcid.org/0000-0003-3499-5475"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Magister, Lucie Charlotte","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056748708","display_name":"P\u00edetro Li\u00f3","orcid":"https://orcid.org/0000-0002-0540-5053"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lio, Pietro","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5018093162","display_name":"Pietro Barbiero","orcid":"https://orcid.org/0000-0003-3155-2564"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barbiero, Pietro","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"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":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9929,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9929,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9859,"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/T10211","display_name":"Computational Drug Discovery Methods","score":0.9722,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/interpretability","display_name":"Interpretability","score":0.9024331}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.9024331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.53966326},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49649125},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.48521593},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.45519033},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4482687},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34639728},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34034365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29874706},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.121733546},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2307.11688","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":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.11688","pdf_url":"http://arxiv.org/pdf/2307.11688","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2307.11688","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2307.11688","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":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4390569940","https://openalex.org/W4388422664","https://openalex.org/W4361193272","https://openalex.org/W4312407344","https://openalex.org/W4310278675","https://openalex.org/W2963326959","https://openalex.org/W2905433371","https://openalex.org/W2894289927","https://openalex.org/W2888392564","https://openalex.org/W2806259446"],"abstract_inverted_index":{"The":[0,129],"rise":[1],"of":[2,23,31,37,51,71,84,131,170],"Artificial":[3],"Intelligence":[4],"(AI)":[5],"recently":[6],"empowered":[7],"researchers":[8],"to":[9,53,91,97,123],"investigate":[10,54],"hard":[11],"mathematical":[12],"problems":[13],"which":[14],"eluded":[15],"traditional":[16],"approaches":[17],"for":[18],"decades.":[19],"Yet,":[20],"the":[21,32,35,48,69,78,168],"use":[22,50,90],"AI":[24,52],"in":[25],"Universal":[26],"Algebra":[27],"(UA)":[28],"--":[29,40],"one":[30],"fields":[33],"laying":[34],"foundations":[36],"modern":[38],"mathematics":[39],"is":[41],"still":[42],"completely":[43],"unexplored.":[44],"This":[45],"work":[46],"proposes":[47],"first":[49],"UA's":[55,115],"conjectures":[56,95],"with":[57],"an":[58],"equivalent":[59],"equational":[60],"and":[61,81,117,163],"topological":[62,65],"characterization.":[63],"While":[64],"representations":[66],"would":[67],"enable":[68],"analysis":[70],"such":[72],"properties":[73],"using":[74],"graph":[75,127,137],"neural":[76,121],"networks,":[77],"limited":[79],"transparency":[80],"brittle":[82],"explainability":[83],"these":[85,103],"models":[86],"hinder":[87],"their":[88],"straightforward":[89],"empirically":[92,159],"validate":[93,160],"existing":[94,161],"or":[96],"formulate":[98],"new":[99],"ones.":[100],"To":[101],"bridge":[102],"gaps,":[104],"we":[105],"propose":[106],"a":[107,119],"general":[108],"algorithm":[109],"generating":[110],"AI-ready":[111],"datasets":[112],"based":[113],"on":[114],"conjectures,":[116,162],"introduce":[118],"novel":[120,171],"layer":[122],"build":[124],"fully":[125],"interpretable":[126,136],"networks.":[128],"results":[130],"our":[132],"experiments":[133],"demonstrate":[134],"that":[135,158],"networks:":[138],"(i)":[139],"enhance":[140],"interpretability":[141],"without":[142],"sacrificing":[143],"task":[144],"accuracy,":[145],"(ii)":[146],"strongly":[147],"generalize":[148],"when":[149],"predicting":[150],"universal":[151],"algebra's":[152],"properties,":[153],"(iii)":[154],"generate":[155],"simple":[156],"explanations":[157],"(iv)":[164],"identify":[165],"subgraphs":[166],"suggesting":[167],"formulation":[169],"conjectures.":[172]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4385227282","counts_by_year":[],"updated_date":"2025-01-04T15:56:09.476658","created_date":"2023-07-25"}