{"id":"https://openalex.org/W7127972463","doi":"https://doi.org/10.1007/s11424-026-5075-1","title":"Prediction-Powered Model Checking via Predictiveness Comparisons","display_name":"Prediction-Powered Model Checking via Predictiveness Comparisons","publication_year":2026,"publication_date":"2026-02-01","ids":{"openalex":"https://openalex.org/W7127972463","doi":"https://doi.org/10.1007/s11424-026-5075-1"},"language":"en","primary_location":{"id":"doi:10.1007/s11424-026-5075-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11424-026-5075-1","pdf_url":null,"source":{"id":"https://openalex.org/S45848134","display_name":"Journal of Systems Science and Complexity","issn_l":"1009-6124","issn":["1009-6124","1559-7067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Science and Complexity","raw_type":"journal-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/A5125187362","display_name":"Yanhong Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]},{"id":"https://openalex.org/I4210149618","display_name":"Guangdong University of Finance","ror":"https://ror.org/04grzdh47","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210149618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanhong Liu","raw_affiliation_strings":["Guangzhou Institute of International Finance, Guangzhou University, Guangzhou, 510006, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangzhou Institute of International Finance, Guangzhou University, Guangzhou, 510006, China","institution_ids":["https://openalex.org/I37987034","https://openalex.org/I4210149618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100572787","display_name":"Yinxu Jia","orcid":"https://orcid.org/0000-0003-1880-2901"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinxu Jia","raw_affiliation_strings":["School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125196763","display_name":"Guanghui Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guanghui Wang","raw_affiliation_strings":["School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124883697","display_name":"Zhaojun Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaojun Wang","raw_affiliation_strings":["School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007454142","display_name":"Changliang Zou","orcid":"https://orcid.org/0000-0003-2943-7612"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changliang Zou","raw_affiliation_strings":["NITFID, School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NITFID, School of Statistics and Data Science, LPMC, KLMDASR, and LEBPS, Nankai University, Tianjin, 300071, China","institution_ids":["https://openalex.org/I205237279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5125196763"],"corresponding_institution_ids":["https://openalex.org/I205237279"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14387922,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"39","issue":"1","first_page":"115","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.5131000280380249,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.5131000280380249,"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.06520000100135803,"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/T10142","display_name":"Formal Methods in Verification","score":0.05770000070333481,"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/model-checking","display_name":"Model checking","score":0.5335000157356262},{"id":"https://openalex.org/keywords/type-i-and-type-ii-errors","display_name":"Type I and type II errors","score":0.4097000062465668},{"id":"https://openalex.org/keywords/statistical-hypothesis-testing","display_name":"Statistical hypothesis testing","score":0.4058000147342682},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.39820000529289246},{"id":"https://openalex.org/keywords/conditional-independence","display_name":"Conditional independence","score":0.3950999975204468},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.38019999861717224},{"id":"https://openalex.org/keywords/imputation","display_name":"Imputation (statistics)","score":0.3747999966144562},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.33169999718666077}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6136000156402588},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.571399986743927},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5335000157356262},{"id":"https://openalex.org/C40696583","wikidata":"https://www.wikidata.org/wiki/Q989120","display_name":"Type I and type II errors","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.40869998931884766},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.4058000147342682},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.39820000529289246},{"id":"https://openalex.org/C79772020","wikidata":"https://www.wikidata.org/wiki/Q5159264","display_name":"Conditional independence","level":2,"score":0.3950999975204468},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C58041806","wikidata":"https://www.wikidata.org/wiki/Q1660484","display_name":"Imputation (statistics)","level":3,"score":0.3747999966144562},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34709998965263367},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.33169999718666077},{"id":"https://openalex.org/C3019813237","wikidata":"https://www.wikidata.org/wiki/Q65089264","display_name":"Model validation","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.30660000443458557},{"id":"https://openalex.org/C167085575","wikidata":"https://www.wikidata.org/wiki/Q6803654","display_name":"Mean squared prediction error","level":2,"score":0.29319998621940613},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C96608239","wikidata":"https://www.wikidata.org/wiki/Q1199823","display_name":"Statistical power","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C2982736386","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Statistical learning","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27970001101493835},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C160920958","wikidata":"https://www.wikidata.org/wiki/Q7662746","display_name":"Synthetic data","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2565000057220459},{"id":"https://openalex.org/C2776145971","wikidata":"https://www.wikidata.org/wiki/Q30673951","display_name":"Labeled data","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C3020402766","wikidata":"https://www.wikidata.org/wiki/Q104376712","display_name":"Prior information","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11424-026-5075-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11424-026-5075-1","pdf_url":null,"source":{"id":"https://openalex.org/S45848134","display_name":"Journal of Systems Science and Complexity","issn_l":"1009-6124","issn":["1009-6124","1559-7067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Science and Complexity","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1616450149","https://openalex.org/W1944657746","https://openalex.org/W1984342243","https://openalex.org/W2006225775","https://openalex.org/W2012244993","https://openalex.org/W2049552229","https://openalex.org/W2074931146","https://openalex.org/W2135643467","https://openalex.org/W2154560360","https://openalex.org/W2158724162","https://openalex.org/W2159798095","https://openalex.org/W2160455158","https://openalex.org/W2171050905","https://openalex.org/W2189312858","https://openalex.org/W2751886678","https://openalex.org/W2809819923","https://openalex.org/W2963957557","https://openalex.org/W2964060211","https://openalex.org/W2964593027","https://openalex.org/W2982542510","https://openalex.org/W3134199779","https://openalex.org/W3199641511","https://openalex.org/W3211857494","https://openalex.org/W4291804479","https://openalex.org/W4322622870","https://openalex.org/W4388520288","https://openalex.org/W4393853362","https://openalex.org/W4399535705","https://openalex.org/W4403920504"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-02-07T00:00:00"}