{"id":"W3015157678","doi":"10.1145/3253000","title":"Session details: Model checking","year":2011,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Session (web analytics); Computer science; Model checking; Programming language; World Wide Web","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00377307,0.00200428,0.002357225,0.001323484,0.002115973,0.005485496,0.002489002,0.003229904,0.7672276],"category_scores_gemma":[0.0124724,0.0007245792,0.002784642,0.001735617,0.0007008621,0.004245319,0.003535984,0.002951089,0.5337014],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001475333,"about_ca_system_score_gemma":0.002187279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001667063,"about_ca_topic_score_gemma":0.002808439,"domain_scores_codex":[0.9978673,0.0006132576,0.00009156419,0.0005307545,0.0006384026,0.0002585818],"domain_scores_gemma":[0.9919466,0.003025156,0.0001533777,0.003082287,0.001068857,0.0007236602],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006093764,0.0002254024,0.0003941621,0.0003389592,0.00006199944,0.00008200036,0.00007922049,0.001316458,0.00345942,0.01437475,0.8770399,0.1020182],"study_design_scores_gemma":[0.0004146022,0.0003213415,0.001207677,0.0002508948,0.0001171665,0.0002314569,0.00009061061,0.01585528,0.01039308,0.04371325,0.9273171,0.00008750504],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004911907,0.002471749,0.1590456,0.0119175,0.01225669,0.002042879,0.03773512,0.03599867,0.7336199],"genre_scores_gemma":[0.0862027,0.002344719,0.03431292,0.001871399,0.003004578,0.001066072,0.03904454,0.009922925,0.8222301],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7672276,"threshold_uncertainty_score":0.3320215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1497455198674869,"score_gpt":0.3185373050553063,"score_spread":0.1687917851878195,"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."}}