{"id":"https://openalex.org/W3045372560","doi":null,"title":"SOCRATES: Towards a Unified Platform for Neural Network Verification.","display_name":"SOCRATES: Towards a Unified Platform for Neural Network Verification.","publication_year":2020,"publication_date":"2020-07-22","ids":{"openalex":"https://openalex.org/W3045372560","mag":"3045372560"},"language":"en","primary_location":{"id":"mag:3045372560","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2007.11206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2007.11206","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Long Hoang Pham","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Long Hoang Pham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100404203","display_name":"Jiaying Li","orcid":"https://orcid.org/0009-0008-0424-6784","observed_orcids":["https://orcid.org/0009-0008-0424-6784","https://orcid.org/0009-0004-9422-6218"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiaying Li","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-8322-7750","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392","observed_orcids":["https://orcid.org/0000-0002-3545-1392","https://orcid.org/0000-0002-0325-1951"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3545-1392","affiliations":[]}],"institutions":[],"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":7,"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/T10142","display_name":"Formal Methods in Verification","score":0.6791999936103821,"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/T10142","display_name":"Formal Methods in Verification","score":0.6791999936103821,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.26809999346733093,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.03150000050663948,"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/neural-network-verification","display_name":"neural network verification","score":0.9990000128746033},{"id":"https://openalex.org/keywords/socrates","display_name":"Socrates","score":0.6589999794960022},{"id":"https://openalex.org/keywords/adversarial-examples","display_name":"adversarial examples","score":0.6610000133514404},{"id":"https://openalex.org/keywords/assertion-language","display_name":"assertion language","score":0.6700000166893005},{"id":"https://openalex.org/keywords/property-specification","display_name":"property specification","score":0.8220000267028809},{"id":"https://openalex.org/keywords/falsification","display_name":"falsification","score":0.6510000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688313126564026},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.7309801578521729},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5814810991287231},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5775055885314941},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4812066853046417},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.47327089309692383},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.4655701816082001},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.46409884095191956},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46075233817100525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16065722703933716},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10785841941833496},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:3045372560","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2007.11206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:3045372560","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2007.11206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1996681199","https://openalex.org/W2000359198","https://openalex.org/W2005126631","https://openalex.org/W2023808162","https://openalex.org/W2110425399","https://openalex.org/W2110889728","https://openalex.org/W2137628566","https://openalex.org/W2180612164","https://openalex.org/W2342840547","https://openalex.org/W2516574342","https://openalex.org/W2594877703","https://openalex.org/W2616028256","https://openalex.org/W2730550703","https://openalex.org/W2766462876","https://openalex.org/W2768915615","https://openalex.org/W2787596386","https://openalex.org/W2794609696","https://openalex.org/W2798338883","https://openalex.org/W2799107510","https://openalex.org/W2809701591","https://openalex.org/W2898851569","https://openalex.org/W2900153411","https://openalex.org/W2962771056","https://openalex.org/W2963207607","https://openalex.org/W2964153729","https://openalex.org/W2964308564","https://openalex.org/W3002398329","https://openalex.org/W3014123454","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W3127909410","https://openalex.org/W4285605913","https://openalex.org/W7019170617","https://openalex.org/W6894037457","https://openalex.org/W4409367684","https://openalex.org/W3009766965","https://openalex.org/W2789524546","https://openalex.org/W6906682209","https://openalex.org/W7152552594","https://openalex.org/W4307786251"],"abstract_inverted_index":{"Studies":[0],"show":[1,187],"that":[2,16,23,30,53,188],"neural":[3,31,62,77,92,132,152,171,209],"networks,":[4],"not":[5],"unlike":[6],"traditional":[7],"programs,":[8],"are":[9,33,56,81],"subject":[10],"to":[11,58,75,112,122,196],"bugs,":[12],"e.g.,":[13],"adversarial":[14],"samples":[15],"cause":[17],"classification":[18],"errors":[19],"and":[20,45,106,109,177],"discriminatory":[21],"instances":[22],"demonstrate":[24],"the":[25],"lack":[26],"of":[27,70,91,151],"fairness.":[28],"Given":[29],"networks":[32,63,93],"increasingly":[34],"applied":[35],"in":[36],"critical":[37],"applications":[38],"(e.g.,":[39],"self-driving":[40],"cars,":[41],"face":[42],"recognition":[43],"systems":[44],"personal":[46],"credit":[47],"rating":[48],"systems),":[49],"it":[50,201],"is":[51,175],"desirable":[52,65],"systematic":[54],"methods":[55],"developed":[57,74],"verify":[59,76],"or":[60,115,169,193],"falsify":[61],"against":[64,94],"properties.":[66],"Recently,":[67],"a":[68,124,139,145,149,203],"number":[69],"approaches":[71,180],"have":[72],"been":[73],"networks.":[78,133],"These":[79],"efforts":[80],"however":[82],"scattered":[83],"(i.e.,":[84,99],"each":[85,100],"approach":[86,101],"tackles":[87],"some":[88],"restricted":[89],"classes":[90],"certain":[95],"particular":[96],"properties),":[97],"incomparable":[98],"has":[102],"its":[103],"own":[104],"assumptions":[105],"input":[107],"format)":[108],"thus":[110,178],"hard":[111],"apply,":[113],"reuse":[114],"extend.":[116],"In":[117],"this":[118,135],"project,":[119],"we":[120,137],"aim":[121],"build":[123],"unified":[125],"framework":[126],"for":[127,131,148,158,167,205],"developing":[128],"verification":[129],"techniques":[130],"Towards":[134],"goal,":[136],"develop":[138],"platform":[140,190,204],"called":[141],"SOCRATES":[142,174],"which":[143],"supports":[144],"standardized":[146],"format":[147],"variety":[150],"network":[153,172,210],"models,":[154],"an":[155],"assertion":[156],"language":[157],"property":[159],"specification":[160],"as":[161,163],"well":[162],"two":[164],"novel":[165],"algorithms":[166],"verifying":[168],"falsifying":[170],"models.":[173],"extensible":[176],"existing":[179],"can":[181],"be":[182],"easily":[183],"integrated.":[184],"Experiment":[185],"results":[186],"our":[189],"offers":[191],"better":[192],"comparable":[194],"performance":[195],"state-of-the-art":[197],"approaches.":[198],"More":[199],"importantly,":[200],"provides":[202],"synergistic":[206],"research":[207],"on":[208],"verification.":[211]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2020-07-29T00:00:00"}