{"id":"https://openalex.org/W4399872430","doi":"https://doi.org/10.1145/3656464","title":"PL4XGL: A Programming Language Approach to Explainable Graph Learning","display_name":"PL4XGL: A Programming Language Approach to Explainable Graph Learning","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399872430","doi":"https://doi.org/10.1145/3656464"},"language":"en","primary_location":{"id":"doi:10.1145/3656464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656464","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3656464","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046062654","display_name":"Minseok Jeon","orcid":"https://orcid.org/0000-0001-8320-8509"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Minseok Jeon","raw_affiliation_strings":["Korea University, Seoul, South Korea"],"raw_orcid":"https://orcid.org/0000-0001-8320-8509","affiliations":[{"raw_affiliation_string":"Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086668734","display_name":"Jihyeok Park","orcid":"https://orcid.org/0000-0001-8387-1984"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jihyeok Park","raw_affiliation_strings":["Korea University, Seoul, South Korea"],"raw_orcid":"https://orcid.org/0000-0001-8387-1984","affiliations":[{"raw_affiliation_string":"Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042036026","display_name":"Hakjoo Oh","orcid":"https://orcid.org/0000-0002-1900-7654"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hakjoo Oh","raw_affiliation_strings":["Korea University, Seoul, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-1900-7654","affiliations":[{"raw_affiliation_string":"Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I197347611"],"apc_list":null,"apc_paid":null,"fwci":0.4499,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69198712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"8","issue":"PLDI","first_page":"2148","last_page":"2173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.994700014591217,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.994700014591217,"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/T10028","display_name":"Topic Modeling","score":0.9854000210762024,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9807999730110168,"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/computer-science","display_name":"Computer science","score":0.5903387665748596},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4271334707736969},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4201924800872803},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4162202477455139},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.38420185446739197},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.36079517006874084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2450605034828186},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14531207084655762}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5903387665748596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4271334707736969},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4201924800872803},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4162202477455139},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.38420185446739197},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.36079517006874084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2450605034828186},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14531207084655762}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3656464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656464","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"doi:10.5281/zenodo.10776325","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10776325","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"ConferencePaper"},{"id":"doi:10.5281/zenodo.10783869","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10783869","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"ConferencePaper"},{"id":"doi:10.5281/zenodo.10783891","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10783891","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3656464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656464","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1197347346","https://openalex.org/W1641749581","https://openalex.org/W2056562706","https://openalex.org/W2093535699","https://openalex.org/W2161159055","https://openalex.org/W2170726034","https://openalex.org/W2263738566","https://openalex.org/W2560674852","https://openalex.org/W2594183968","https://openalex.org/W2603456259","https://openalex.org/W2612690371","https://openalex.org/W2624431344","https://openalex.org/W2747329762","https://openalex.org/W2901330051","https://openalex.org/W2907492528","https://openalex.org/W2948035163","https://openalex.org/W2950277699","https://openalex.org/W2954503794","https://openalex.org/W2970119293","https://openalex.org/W2979481854","https://openalex.org/W3000120900","https://openalex.org/W3008526009","https://openalex.org/W3033892090","https://openalex.org/W3108823960","https://openalex.org/W3116637551","https://openalex.org/W3130218089","https://openalex.org/W3177832995","https://openalex.org/W3184370740","https://openalex.org/W3215430231","https://openalex.org/W4205516974","https://openalex.org/W4226058932","https://openalex.org/W4231465599","https://openalex.org/W4234222550","https://openalex.org/W4234229576","https://openalex.org/W4237412827","https://openalex.org/W4283389995","https://openalex.org/W4283789226","https://openalex.org/W4293150427","https://openalex.org/W6911437106"],"related_works":["https://openalex.org/W4231937131","https://openalex.org/W3188962172","https://openalex.org/W323219885","https://openalex.org/W2063928587","https://openalex.org/W2772917594","https://openalex.org/W1487966966","https://openalex.org/W1589342014","https://openalex.org/W4306742369","https://openalex.org/W1480341462","https://openalex.org/W3204019825"],"abstract_inverted_index":{"In":[0,178],"this":[1],"article,":[2],"we":[3,191],"present":[4,192],"a":[5,51,92,108,121,138,150,187],"new,":[6],"language-based":[7],"approach":[8,54],"to":[9,86,113,237],"explainable":[10],"graph":[11,14,24,109,152],"learning.":[12],"Though":[13],"neural":[15],"networks":[16],"(GNNs)":[17],"have":[18,28,47,65],"shown":[19],"impressive":[20],"performance":[21],"in":[22,31,36,69],"various":[23],"learning":[25,181],"tasks,":[26],"they":[27,64],"severe":[29],"limitations":[30],"explainability,":[32],"hindering":[33],"their":[34],"use":[35],"decision-critical":[37],"applications.":[38],"To":[39],"address":[40,87],"these":[41,88],"limitations,":[42],"several":[43],"GNN":[44,221,239],"explanation":[45,53,74,222],"techniques":[46],"been":[48],"proposed":[49],"using":[50,205],"post-hoc":[52],"providing":[55],"subgraphs":[56],"as":[57,168,175,186],"explanations":[58,213],"for":[59,197],"classification":[60,116,125,170,234],"results.":[61],"Unfortunately,":[62],"however,":[63],"two":[66],"fundamental":[67],"drawbacks":[68],"terms":[70],"of":[71,80,128,137,140],"1)":[72,106],"additional":[73],"costs":[75],"and":[76,118,146,163,172,190,194],"2)":[77,119],"the":[78,81,115,156,161,165,169,173,176,219],"correctness":[79],"explanations.":[82],"This":[83],"paper":[84],"aims":[85],"problems":[89],"by":[90,218],"developing":[91,120],"new":[93,122],"graph-learning":[94,132],"method":[95],"based":[96],"on":[97],"programming":[98],"language":[99,111],"techniques.":[100],"Our":[101,131],"key":[102],"idea":[103],"is":[104,184],"two-fold:":[105],"designing":[107],"description":[110],"(GDL)":[112],"explain":[114],"results":[117],"GDL-based":[123],"interpretable":[124],"model":[126],"instead":[127],"GNN-based":[129],"models.":[130,240],"model,":[133],"called":[134],"PL4XGL,":[135],"consists":[136],"set":[139],"candidate":[141],"GDL":[142,158,199],"programs":[143,200],"with":[144],"labels":[145],"quality":[147],"scores.":[148],"For":[149],"given":[151],"component,":[153],"it":[154],"searches":[155],"best":[157],"program":[159,174],"describing":[160],"component":[162],"provides":[164],"corresponding":[166],"label":[167],"result":[171],"explanation.":[177],"our":[179],"approach,":[180],"from":[182,201],"data":[183],"formulated":[185],"program-synthesis":[188],"problem,":[189],"top-down":[193],"bottom-up":[195],"algorithms":[196],"synthesizing":[198],"training":[202],"data.":[203],"Evaluation":[204],"widely-used":[206],"datasets":[207],"demonstrates":[208],"that":[209,214,230],"PL4XGL":[210,231],"produces":[211],"high-quality":[212],"outperform":[215],"those":[216],"produced":[217],"state-of-the-art":[220],"technique,":[223],"S":[224],"ubgraph":[225],"X.":[226],"We":[227],"also":[228],"show":[229],"achieves":[232],"competitive":[233],"accuracy":[235],"comparable":[236],"popular":[238]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}