{"id":"W1800402330","doi":"10.1007/3-540-40922-x_19","title":"Model Reductions and a Case Study","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Reduction (mathematics); Property (philosophy); Dependency graph; Algorithm; Graph; Dependency (UML); Model checking; Construct (python library); Theoretical computer science; State (computer science); Set (abstract data type); State variable; Artificial intelligence; Mathematics; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001024114,0.0003812553,0.0003507614,0.0007410609,0.0003988678,0.0004774767,0.001594475,0.0001965712,0.000008575991],"category_scores_gemma":[0.00005445705,0.0003635674,0.00005480271,0.0005247222,0.0006030349,0.000818076,0.0007919635,0.0006759696,0.0000135816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001707386,"about_ca_system_score_gemma":0.0003361767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006085345,"about_ca_topic_score_gemma":0.00007460294,"domain_scores_codex":[0.997072,0.000054142,0.0004398571,0.001428617,0.0005953566,0.0004100124],"domain_scores_gemma":[0.9978638,0.0001438636,0.0001676963,0.001536896,0.0001326994,0.0001550793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003338118,0.00006639933,0.00001372191,0.00001116261,0.000008193475,0.0006326162,0.003881476,0.07920432,0.00002296681,0.02296144,0.000005177757,0.8931892],"study_design_scores_gemma":[0.0001433123,0.0001684515,0.00001574169,0.00004962139,0.000009113938,0.0031178,0.000001256941,0.8698247,0.00006476131,0.1261331,0.0001091192,0.0003630161],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002228368,0.0001725279,0.9933479,0.000158969,0.0007101535,0.0005709573,0.000002693853,0.0001586871,0.002649722],"genre_scores_gemma":[0.1949307,0.00002982397,0.8044243,0.0002237343,0.0001382903,0.00001611962,5.329182e-7,0.00001917012,0.0002173041],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8928262,"threshold_uncertainty_score":0.9998816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04993290233842406,"score_gpt":0.3089524083253811,"score_spread":0.259019505986957,"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."}}