{"id":"W2187263253","doi":"","title":"Using Coarse State Space Abstractions to Detect Mutex Pairs","year":2013,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; University of Regina","funders":"","keywords":"Semaphore; Benchmark (surveying); State (computer science); Computer science; Mathematics; State space; Abstraction; Space (punctuation); Algorithm; Programming language; Operating system; Statistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001925698,0.0001112443,0.00009411177,0.0001036068,0.0002025149,0.0002852646,0.0003428985,0.00003466292,0.0002087074],"category_scores_gemma":[0.00002593427,0.00009969345,0.00003736194,0.0002550588,0.00001317114,0.0005327531,0.0001111259,0.0001310354,0.001274317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003956956,"about_ca_system_score_gemma":0.0000646467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002075674,"about_ca_topic_score_gemma":0.00007030904,"domain_scores_codex":[0.999069,0.00003672752,0.0001501914,0.000270698,0.0001543936,0.0003190057],"domain_scores_gemma":[0.9991954,0.0001304327,0.00004825545,0.0003681092,0.0000743128,0.0001834971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001441042,0.0001200601,0.005035422,0.00006775149,0.0001113372,0.0001223226,0.006741622,0.393121,0.06630927,0.006700723,0.1343651,0.3872909],"study_design_scores_gemma":[0.0002693758,0.000156911,0.005194837,0.00006974774,0.000008907721,0.00005926314,0.0001685131,0.9556892,0.01479158,0.005687638,0.01726856,0.0006354387],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08657745,0.00001763581,0.9065343,0.001518777,0.0002360549,0.0001645189,0.000001427877,0.0003171283,0.004632688],"genre_scores_gemma":[0.5024898,9.71035e-7,0.4950632,0.0005006919,0.00002503118,0.000008672801,5.457229e-7,0.000007596135,0.001903507],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5625682,"threshold_uncertainty_score":0.9995033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03666148876345725,"score_gpt":0.2687382298295925,"score_spread":0.2320767410661352,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}