{"id":"W1506362155","doi":"10.1007/978-3-540-77966-7_1","title":"Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Emulation; Complement (music); Computer science; Formal verification; Formal methods; Software engineering; Programming language; Psychology; Social psychology","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","scholarly_communication"],"consensus_categories":["scholarly_communication"],"category_scores_codex":[0.001726198,0.0008789601,0.0008295822,0.001221101,0.0006309214,0.003324539,0.005063418,0.0007278999,0.00005141242],"category_scores_gemma":[0.0001258188,0.0008519255,0.0002766305,0.001238412,0.0008773951,0.01554358,0.001706329,0.001173009,0.0001877548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000596693,"about_ca_system_score_gemma":0.0005509835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002235979,"about_ca_topic_score_gemma":0.00001108188,"domain_scores_codex":[0.9935685,0.0001061826,0.001029203,0.002116633,0.002028492,0.001150942],"domain_scores_gemma":[0.9943956,0.0008855723,0.0007460804,0.003047916,0.0006611109,0.0002637914],"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.00001627533,0.00002966662,0.00002696159,0.00005638941,0.0000152078,0.00002822851,0.007453636,0.09506485,0.00002743102,0.002185086,0.00005322616,0.895043],"study_design_scores_gemma":[0.0003097392,0.0002309849,0.0001629605,0.0009702019,0.00001214578,0.00008640838,0.000002456618,0.9602606,0.005930507,0.01959537,0.01136932,0.001069296],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003445162,0.002688806,0.9894819,0.0009753085,0.005015531,0.000746757,0.000005159791,0.0003251001,0.0004169799],"genre_scores_gemma":[0.06624943,0.004926159,0.9166135,0.0108826,0.0007341948,0.00002579725,0.00001358958,0.0001035742,0.0004511449],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8939738,"threshold_uncertainty_score":0.9993932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04014947275697075,"score_gpt":0.2964025478377471,"score_spread":0.2562530750807763,"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."}}