{"id":"W4285120933","doi":"10.1007/978-3-030-97899-0_4","title":"Object State","year":2022,"lang":"en","type":"book-chapter","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","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.0007559068,0.001010758,0.0005999194,0.001581389,0.001428136,0.006350871,0.001369414,0.001328223,0.1316408],"category_scores_gemma":[0.002096568,0.0006231875,0.0006232228,0.001511163,0.001626385,0.009169705,0.003150701,0.002024808,0.06570984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00114749,"about_ca_system_score_gemma":0.001166279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001362427,"about_ca_topic_score_gemma":0.001196144,"domain_scores_codex":[0.9991962,0.00009495304,0.00003952777,0.000214913,0.0003625327,0.00009180477],"domain_scores_gemma":[0.9991449,0.0001310348,0.00003146018,0.0004617595,0.0001900856,0.00004069906],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008407818,0.00004818153,0.0001977007,0.0001318873,0.000008032208,0.00005225489,0.000419671,0.0004444407,0.002681113,0.8283454,0.05889236,0.108695],"study_design_scores_gemma":[0.00001364419,0.00002856416,0.0001350474,0.00006747026,0.00001746153,0.00009835165,0.0001087048,0.001946489,0.006066467,0.2434026,0.7480953,0.00001990286],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004055971,0.0008313928,0.153806,0.001173618,0.0009711368,0.0002045959,0.002666599,0.0072347,0.829056],"genre_scores_gemma":[0.07116775,0.001291342,0.03424456,0.0007324759,0.0004347205,0.0003362754,0.005108515,0.002864751,0.8838196],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1316408,"threshold_uncertainty_score":0.4403822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03056472580667212,"score_gpt":0.2410094916350362,"score_spread":0.2104447658283641,"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."}}