{"id":"W1977833242","doi":"10.1016/s0304-3975(01)00345-0","title":"On the non-termination of MDG-based abstract state enumeration","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Enumeration; Formalism (music); Class (philosophy); Computer science; Mathematics; Theoretical computer science; Set (abstract data type); Algorithm; Discrete mathematics; Artificial intelligence; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.00382801,0.0001209705,0.0001149807,0.0001432622,0.0002753068,0.0002077383,0.001409086,0.00003242748,0.00003692371],"category_scores_gemma":[0.0004859678,0.0000813638,0.00004448847,0.0008909742,0.001315234,0.0004659,0.0000978157,0.0001539407,0.00005262068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005194407,"about_ca_system_score_gemma":0.0001465084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.5543e-7,"about_ca_topic_score_gemma":1.108932e-7,"domain_scores_codex":[0.9981407,0.0002091871,0.000289196,0.0003863738,0.0006990948,0.0002754606],"domain_scores_gemma":[0.998138,0.0005681037,0.0001501553,0.0008300854,0.0002327058,0.0000809813],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004553998,0.00005112469,0.000009425245,0.000004894197,9.172171e-7,8.318581e-7,0.0001675741,0.001570493,0.0027588,0.9751446,0.00001342215,0.02027342],"study_design_scores_gemma":[0.00009365103,0.0001558691,0.001701631,0.00001926437,0.000001204176,0.000002925564,0.000001605257,0.6271143,0.2131523,0.157644,0.00002554818,0.00008761175],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1074296,0.000002140616,0.8886534,0.0003344603,0.0003600766,0.0001867725,0.000001126341,0.00004409401,0.002988406],"genre_scores_gemma":[0.7210336,4.59866e-7,0.2786382,0.0003038243,0.00001073113,0.000006939427,3.198199e-7,0.000003306506,0.000002569958],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8175005,"threshold_uncertainty_score":0.4846035,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01522734118583221,"score_gpt":0.2818545029618386,"score_spread":0.2666271617760064,"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."}}