{"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","doi":"https://doi.org/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":"ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"conference-paper","is_traditional":true,"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","observed_orcids":["https://orcid.org/0000-0003-1923-0669"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Li","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090515354","display_name":"Xing Fu","orcid":"https://orcid.org/0000-0002-5822-458X","observed_orcids":["https://orcid.org/0000-0002-5822-458X"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xing Fu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074902946","display_name":"Ruofan Wu","orcid":"https://orcid.org/0000-0002-2005-6058","observed_orcids":["https://orcid.org/0000-0002-2005-6058","https://orcid.org/0000-0003-4438-0191"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruofan Wu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112857180","display_name":"Jinyu Xu","orcid":"https://orcid.org/0009-0009-7683-1365","observed_orcids":["https://orcid.org/0009-0009-7683-1365"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyu Xu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kai Xiao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Xiao","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081897265","display_name":"Xiaofu Chang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofu Chang","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109203493","display_name":"Weiqiang Wang","orcid":"https://orcid.org/0000-0002-6159-619X","observed_orcids":["https://orcid.org/0000-0002-6159-619X","https://orcid.org/0000-0002-7185-2804","https://orcid.org/0000-0001-5734-1226"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiqiang Wang","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100396661","display_name":"Shuai Chen","orcid":"https://orcid.org/0000-0001-5739-9022","observed_orcids":["https://orcid.org/0000-0001-5739-9022"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuai Chen","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027999064","display_name":"Leilei Shi","orcid":"https://orcid.org/0000-0003-1953-6932","observed_orcids":["https://orcid.org/0000-0003-1953-6932"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Leilei Shi","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tao Xiong","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Xiong","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100676886","display_name":"Yuan Qi","orcid":"https://orcid.org/0009-0002-9377-5755","observed_orcids":["https://orcid.org/0009-0002-9377-5755","https://orcid.org/0000-0002-2685-0340","https://orcid.org/0000-0001-8981-0154","https://orcid.org/0000-0002-0281-0758"]},"institutions":[{"id":"https://openalex.org/I4405270328","display_name":"Ant Group (China)","ror":"https://ror.org/00g5w7n47","country_code":"CN","type":"company","lineage":["https://openalex.org/I4405270328"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Qi","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":["https://openalex.org/I4405270328"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4405270328"],"apc_list":null,"apc_paid":null,"fwci":0.2095,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.39292485,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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/T10320","display_name":"Neural Networks and Applications","score":0.17000000178813934,"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/T10320","display_name":"Neural Networks and Applications","score":0.17000000178813934,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.13050000369548798,"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/T12205","display_name":"Time Series Analysis and Forecasting","score":0.08980000019073486,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/shoring","display_name":"shoring","score":0.7419999837875366},{"id":"https://openalex.org/keywords/event-networks","display_name":"event networks","score":0.7110000252723694},{"id":"https://openalex.org/keywords/reparameterization-trick","display_name":"reparameterization trick","score":0.8169999718666077},{"id":"https://openalex.org/keywords/inductive-bias","display_name":"inductive bias","score":0.7480000257492065},{"id":"https://openalex.org/keywords/financial-risk-management","display_name":"financial risk management","score":0.7649999856948853},{"id":"https://openalex.org/keywords/fraud-detection","display_name":"fraud detection","score":0.453000009059906}],"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","doi":"https://doi.org/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":"ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W398859631","https://openalex.org/W1538134818","https://openalex.org/W2018030414","https://openalex.org/W2064675550","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/W2505972586","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/W4214717370","https://openalex.org/W4286793352","https://openalex.org/W6600001191","https://openalex.org/W6629340653"],"related_works":["https://openalex.org/W3181283099","https://openalex.org/W7162123182","https://openalex.org/W3118885866","https://openalex.org/W7202170965","https://openalex.org/W4414772559","https://openalex.org/W3159333674","https://openalex.org/W3027746388","https://openalex.org/W4408728762","https://openalex.org/W7133307728","https://openalex.org/W7221030065"],"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":"2026-11-04T10:54:05.112534","created_date":"2022-08-13T00:00:00"}