{"id":"W1599379570","doi":"10.1007/978-3-540-30494-4_22","title":"Extending Extended Vacuity","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001787509,0.0008593824,0.001153261,0.001719937,0.002144357,0.002948859,0.00206192,0.001305058,0.02248015],"category_scores_gemma":[0.004595988,0.0009747754,0.001905719,0.001495212,0.004120467,0.01103109,0.008919882,0.00466061,0.004210329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001191256,"about_ca_system_score_gemma":0.0006965306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006810043,"about_ca_topic_score_gemma":0.0008817843,"domain_scores_codex":[0.9982967,0.0004508668,0.0001090402,0.0003706477,0.0005212359,0.0002516056],"domain_scores_gemma":[0.9978598,0.0005822326,0.00006656769,0.001022932,0.0003541649,0.0001142877],"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.00003105833,0.00002331347,0.0000811983,0.00006000488,0.000008540226,0.0001119126,0.0003907637,0.0004845171,0.0008371978,0.9805124,0.002684247,0.01477489],"study_design_scores_gemma":[0.00001590723,0.00001670044,0.00007208926,0.00005426471,0.00002365036,0.0002051913,0.0001543907,0.002769571,0.00157872,0.9386374,0.0564524,0.00001968318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0516063,0.001099834,0.511961,0.002543777,0.001475932,0.00017765,0.0007373224,0.003918317,0.4264798],"genre_scores_gemma":[0.6956959,0.001708079,0.1714557,0.001290545,0.0006831711,0.0002443223,0.001821255,0.003000157,0.1241007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02248015,"threshold_uncertainty_score":0.0752036,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03123223046150592,"score_gpt":0.295480260113453,"score_spread":0.264248029651947,"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."}}