{"id":"https://openalex.org/W4290943858","doi":"https://doi.org/10.1145/3534678.3539118","title":"Design Domain Specific Neural Network via Symbolic Testing","display_name":"Design Domain Specific Neural Network via Symbolic Testing","publication_year":2022,"publication_date":"2022-08-12","ids":{"openalex":"https://openalex.org/W4290943858","doi":"https://doi.org/10.1145/3534678.3539118"},"language":"en","primary_location":{"id":"doi:10.1145/3534678.3539118","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3534678.3539118","pdf_url":null,"source":{"id":"https://openalex.org/S4363608767","display_name":"Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100423958","display_name":"Hui Li","orcid":"https://orcid.org/0000-0003-1923-0669"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hui Li","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090515354","display_name":"Xing Fu","orcid":"https://orcid.org/0000-0002-5822-458X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xing Fu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074902946","display_name":"Ruofan Wu","orcid":"https://orcid.org/0000-0003-4438-0191"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruofan Wu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112857180","display_name":"Jinyu Xu","orcid":"https://orcid.org/0009-0009-7683-1365"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jinyu Xu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101973325","display_name":"Kai Xiao","orcid":"https://orcid.org/0009-0004-7900-2881"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kai Xiao","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081897265","display_name":"Xiaofu Chang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaofu Chang","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100721601","display_name":"Weiqiang Wang","orcid":"https://orcid.org/0000-0002-7185-2804"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weiqiang Wang","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100396661","display_name":"Shuai Chen","orcid":"https://orcid.org/0000-0001-5739-9022"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shuai Chen","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027999064","display_name":"Leilei Shi","orcid":"https://orcid.org/0000-0003-1953-6932"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leilei Shi","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012141054","display_name":"Tao Xiong","orcid":"https://orcid.org/0000-0002-4912-6574"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tao Xiong","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019180907","display_name":"Qi Yuan","orcid":"https://orcid.org/0000-0002-1342-3374"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuan Qi","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5100423958"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2078,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.40249946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"3219","last_page":"3229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9966999888420105,"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/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9966999888420105,"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.9944000244140625,"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/T11326","display_name":"Stock Market Forecasting Methods","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8022825717926025},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5640743374824524},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5379500985145569},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5023505687713623},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4363715350627899},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3777271509170532},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.37456682324409485},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3635175824165344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8022825717926025},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5640743374824524},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5379500985145569},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5023505687713623},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4363715350627899},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3777271509170532},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37456682324409485},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3635175824165344},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3534678.3539118","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3534678.3539118","pdf_url":null,"source":{"id":"https://openalex.org/S4363608767","display_name":"Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W398859631","https://openalex.org/W1538134818","https://openalex.org/W2018030414","https://openalex.org/W2088141516","https://openalex.org/W2160821628","https://openalex.org/W2194775991","https://openalex.org/W2295739661","https://openalex.org/W2443960221","https://openalex.org/W2475334473","https://openalex.org/W2548570154","https://openalex.org/W2560824669","https://openalex.org/W2588664674","https://openalex.org/W2723293840","https://openalex.org/W2765449478","https://openalex.org/W2765982206","https://openalex.org/W2793768763","https://openalex.org/W2898085636","https://openalex.org/W2907805623","https://openalex.org/W2963323306","https://openalex.org/W2964182926","https://openalex.org/W2997130580","https://openalex.org/W3012650537","https://openalex.org/W3034566015","https://openalex.org/W3089196511","https://openalex.org/W3101704389","https://openalex.org/W3104030692","https://openalex.org/W4214717370","https://openalex.org/W4295910374","https://openalex.org/W6600001191","https://openalex.org/W6629340653","https://openalex.org/W6666761814","https://openalex.org/W6724478308"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W2391251536","https://openalex.org/W2465918047","https://openalex.org/W2362198218","https://openalex.org/W2019521278","https://openalex.org/W1984922432","https://openalex.org/W2375008505","https://openalex.org/W2086348228","https://openalex.org/W2350679292","https://openalex.org/W1982750869"],"abstract_inverted_index":{"Deep":[0],"sequence":[1,18,58,84,159,175],"networks":[2,7],"such":[3,32,43],"as":[4,33,44],"multi-head":[5],"self-attention":[6,97],"provide":[8],"a":[9,69,117,138,204],"promising":[10],"way":[11],"to":[12,61,75,100,157],"extract":[13],"effective":[14],"representations":[15],"from":[16],"raw":[17],"data":[19,91,176],"in":[20,29,41,179,221],"an":[21],"end-to-end":[22],"fashion":[23],"and":[24,48,167,182,197,216,227],"have":[25,218],"shown":[26],"great":[27],"success":[28],"various":[30],"domains":[31,42],"natural":[34],"language":[35],"processing,":[36],"computer":[37],"vision,":[38],"$etc$.":[39],"However,":[40],"financial":[45],"risk":[46],"management":[47],"anti-fraud":[49,180,222],"where":[50],"expert-derived":[51,81],"features":[52,82,195],"are":[53],"heavily":[54],"relied":[55],"on,":[56],"deep":[57],"models":[59,231],"struggle":[60],"dominate":[62],"the":[63,77,93,96,107,148,200],"game.In":[64],"this":[65,113],"paper,":[66],"we":[67,115],"introduce":[68],"simple":[70],"framework":[71,215],"called":[72],"symbolic":[73,104,194,213],"testing":[74,214],"verify":[76],"learnability":[78],"of":[79,230],"certain":[80],"over":[83,89,207],"data.":[85],"A":[86],"systematic":[87],"investigation":[88],"simulated":[90],"reveals":[92],"fact":[94],"that":[95,173,189],"architecture":[98,119],"fails":[99],"learn":[101],"some":[102],"standard":[103,158],"expressions":[105],"like":[106,161],"count":[108],"distinct":[109],"operation.":[110],"To":[111],"overcome":[112],"deficiency,":[114],"propose":[116],"novel":[118],"named":[120],"SHORING,":[121],"which":[122],"contains":[123],"two":[124],"components:event":[125],"network":[126,130,143],"andsequence":[127],"network.":[128],"Theevent":[129],"efficiently":[131],"learns":[132,191],"arbitrary":[133],"high-orderevent-level":[134],"conditional":[135],"embeddings":[136],"via":[137],"reparameterization":[139],"trick":[140],"while":[141],"thesequence":[142],"integrates":[144],"domain-specific":[145],"aggregations":[146],"into":[147],"sequence-level":[149],"representation,":[150],"thereby":[151],"providing":[152],"richer":[153],"inductive":[154],"biases":[155],"compare":[156],"architectures":[160],"self-attention.":[162],"We":[163],"conduct":[164],"comprehensive":[165],"experiments":[166],"ablation":[168],"studies":[169],"on":[170],"synthetic":[171],"datasets":[172],"mimic":[174],"commonly":[177,192],"seen":[178],"domain":[181],"three":[183],"real-world":[184,208],"datasets.":[185,211],"The":[186,212],"results":[187],"show":[188],"SHORING":[190,217],"used":[193],"well,":[196],"experimentally":[198],"outperforms":[199],"state-of-the-art":[201],"methods":[202],"by":[203],"significant":[205],"margin":[206],"online":[209],"transaction":[210],"been":[219],"applied":[220],"model":[223],"development":[224],"at":[225],"Alipay":[226],"improved":[228],"performance":[229],"for":[232],"real-time":[233],"fraud-detection.":[234]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}