{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002461078,0.001117692,0.001185368,0.002359213,0.0007554006,0.00188578,0.001406387,0.0008821725,0.001680104],"category_scores_gemma":[0.01723417,0.0007207432,0.001301487,0.001436221,0.001935164,0.004079901,0.004075096,0.001913426,0.0002562228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001192344,"about_ca_system_score_gemma":0.002361861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003684282,"about_ca_topic_score_gemma":0.00563105,"domain_scores_codex":[0.9966279,0.0009593999,0.0003007512,0.0005907993,0.001184771,0.0003364259],"domain_scores_gemma":[0.9869616,0.007261397,0.001453793,0.003119058,0.000926138,0.000278037],"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.0006651426,0.0002619408,0.02146953,0.0007681047,0.0003045623,0.0006943563,0.002019547,0.4853169,0.03174717,0.1341358,0.002378132,0.3202388],"study_design_scores_gemma":[0.00003932607,0.0001835021,0.00195735,0.00009242504,0.00007277585,0.0001909212,0.0002907871,0.8310274,0.02642089,0.1343333,0.005329723,0.00006163985],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06196202,0.0001713029,0.9335884,0.0001283915,0.00001967137,0.000173905,0.0001968879,0.002475759,0.001283596],"genre_scores_gemma":[0.527639,0.0001247072,0.4702127,0.00009693757,0.00001043034,0.0002767864,0.0005662662,0.0002530984,0.0008200693],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003684282,"threshold_uncertainty_score":0.01301557,"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."}}