{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009855806,0.0006194058,0.001762625,0.001184708,0.001369252,0.002204948,0.002106397,0.001837926,0.00444052],"category_scores_gemma":[0.05286186,0.0006625758,0.001347259,0.001104891,0.004326185,0.00498988,0.005044208,0.004412141,0.0005990287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001518679,"about_ca_system_score_gemma":0.002555313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002157073,"about_ca_topic_score_gemma":0.002398527,"domain_scores_codex":[0.9923626,0.003846774,0.0003811591,0.0005887588,0.001962581,0.0008581251],"domain_scores_gemma":[0.928489,0.06042471,0.001434919,0.005950619,0.002923805,0.000776912],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009828476,0.0001816648,0.002759727,0.0003091886,0.00007987351,0.0003026713,0.0008114426,0.2152187,0.005610898,0.6788709,0.00238698,0.09248509],"study_design_scores_gemma":[0.00006741264,0.0000833312,0.0002178133,0.00004768525,0.00003151024,0.00005357543,0.00005039983,0.6177132,0.00280507,0.3775956,0.001319657,0.00001482486],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0717787,0.0004791541,0.9109027,0.001554431,0.0001123271,0.0001529228,0.000107118,0.001063694,0.013849],"genre_scores_gemma":[0.8001617,0.0004600144,0.1903606,0.0004576877,0.00008332997,0.0003904586,0.0003021174,0.0004469847,0.007337191],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009855806,"threshold_uncertainty_score":0.05212313,"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."}}