{"id":"W4238727895","doi":"10.1145/764825.764832","title":"Language emptiness checking using MDGs","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Model checking; Computer science; Emptiness; Automaton; Formal equivalence checking; Formal verification; Theoretical computer science; Programming language; Algorithm; Equivalence (formal languages); Mathematics; Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004900399,0.00005685439,0.00005804623,0.00004636208,0.0000625203,0.00007246344,0.0003118928,0.00002838678,0.0000385313],"category_scores_gemma":[0.0002193853,0.00005060358,0.00002032851,0.0002883007,0.00001321139,0.0004022981,0.00005000961,0.0000517318,0.00003397822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002633739,"about_ca_system_score_gemma":0.00002400493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002040742,"about_ca_topic_score_gemma":8.641159e-7,"domain_scores_codex":[0.9993974,0.00007243195,0.0001111735,0.0001603009,0.0001152083,0.0001435021],"domain_scores_gemma":[0.9994907,0.00001943272,0.00004233122,0.0003682476,0.00004790101,0.00003137146],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[8.150528e-7,0.00002723467,0.001134957,0.00001330485,0.000004837864,0.000005794479,0.001780445,0.0002379082,0.0279527,0.9318115,0.00006702996,0.03696349],"study_design_scores_gemma":[0.000321269,0.00002641392,0.003898588,0.00002520866,0.000005695457,0.00008488715,0.0004185463,0.4535532,0.5307381,0.003474691,0.007014123,0.0004392969],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09745178,0.0000418144,0.8812405,0.000014682,0.0003979807,0.00004282854,6.171592e-8,0.000126383,0.02068397],"genre_scores_gemma":[0.2626093,5.791335e-7,0.7369723,0.00010916,0.00002057492,0.000001486115,1.1272e-7,0.000003459276,0.0002830064],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9283368,"threshold_uncertainty_score":0.2063554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05497015897849935,"score_gpt":0.342186102579402,"score_spread":0.2872159436009027,"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."}}