{"id":"W3135950882","doi":"10.1145/3255556","title":"Session details: Special session: formal verification: dude or dud? experiences from the trenches","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Session (web analytics); Computer science; 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.00952914,0.0008104125,0.0011152,0.0006240347,0.003898083,0.008590491,0.001335089,0.004122355,0.2911798],"category_scores_gemma":[0.01007185,0.0004883733,0.0008877259,0.0008351758,0.001543782,0.007101887,0.004648773,0.006680803,0.1113208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002519248,"about_ca_system_score_gemma":0.002972622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002053662,"about_ca_topic_score_gemma":0.004572213,"domain_scores_codex":[0.9979146,0.0008109232,0.00007340819,0.0003877735,0.0005085412,0.0003047195],"domain_scores_gemma":[0.9928628,0.002160756,0.0001377025,0.0008175594,0.001913197,0.002108147],"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.0002956272,0.00008738965,0.0002233187,0.0001655952,0.00001178639,0.00007071612,0.0005468747,0.0001177429,0.0009513427,0.0117189,0.9312292,0.05458141],"study_design_scores_gemma":[0.0000359972,0.00008698867,0.0003902068,0.0001195832,0.000006662383,0.00009219547,0.0003993383,0.000179725,0.0003556773,0.00870645,0.9896076,0.00001943089],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.007368419,0.02557162,0.04590466,0.1912111,0.1215334,0.0007184611,0.002783842,0.003805976,0.6011025],"genre_scores_gemma":[0.07062238,0.01105292,0.01026912,0.01505606,0.02028133,0.0003238585,0.002545034,0.002975884,0.8668733],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7088202,"threshold_uncertainty_score":0.9740936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0558125701586806,"score_gpt":0.2671984052986981,"score_spread":0.2113858351400175,"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."}}