{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001966212,0.0005978113,0.0005504008,0.001022463,0.0003555969,0.0006307615,0.005196568,0.000415493,0.00004797392],"category_scores_gemma":[0.0002436662,0.0005730595,0.0001662539,0.0008581033,0.0007672603,0.001241541,0.001684628,0.00110533,0.0001143008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009671237,"about_ca_system_score_gemma":0.0008371082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001850332,"about_ca_topic_score_gemma":0.00001234554,"domain_scores_codex":[0.9952305,0.00005854439,0.0006576378,0.001917442,0.001300385,0.0008354978],"domain_scores_gemma":[0.9965358,0.0002687754,0.0004160214,0.002304554,0.000253153,0.0002217199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000250737,0.00001984797,0.000006179298,0.0000262421,0.000004735372,0.00004732331,0.0003134464,0.00744486,0.0001519118,0.3639397,0.000003126641,0.6280401],"study_design_scores_gemma":[0.0002477842,0.0001492055,0.000434278,0.0003902189,0.00000690155,0.00011671,7.919903e-8,0.242796,0.004477866,0.7497042,0.0008917479,0.0007850483],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002915599,0.0003569091,0.985741,0.0002999669,0.003211074,0.0004123132,0.000002981956,0.0003432462,0.009603376],"genre_scores_gemma":[0.04323874,0.00005424395,0.9552615,0.0007492649,0.0003960903,0.00001160134,0.000002902738,0.00003723262,0.0002484821],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6272551,"threshold_uncertainty_score":0.9996721,"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."}}