{"id":"W4235412025","doi":"10.1145/3397619.3397620","title":"Verification column","year":2020,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Column (typography); Computer science; Focus (optics); Quarter (Canadian coin); Automaton; Artificial intelligence; Telecommunications","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001861564,0.000794429,0.000927716,0.002301868,0.001829505,0.006950065,0.00160728,0.002239317,0.6545295],"category_scores_gemma":[0.01081362,0.0005955838,0.0008852467,0.00202394,0.0007649696,0.004933283,0.001660417,0.003567801,0.4852041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00269926,"about_ca_system_score_gemma":0.003713653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004582848,"about_ca_topic_score_gemma":0.008224114,"domain_scores_codex":[0.9972674,0.0002555333,0.0001631847,0.0004903855,0.001567256,0.0002562295],"domain_scores_gemma":[0.9914508,0.001187157,0.0002942304,0.001317168,0.004602046,0.001148585],"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.00002042894,0.000009022696,0.00005149356,0.00005691734,0.00000300441,0.00001689708,0.000006433605,0.00004779319,0.0001870098,0.004920351,0.9701859,0.02449461],"study_design_scores_gemma":[0.000005132687,0.000005986361,0.00009811032,0.0000426831,0.000001741788,0.00002830156,0.000008536495,0.00007433147,0.0001775263,0.001814135,0.9977394,0.000004117015],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0006494664,0.006549401,0.007924885,0.05729064,0.08835086,0.0001744843,0.01961886,0.007331806,0.8121095],"genre_scores_gemma":[0.00453918,0.002041637,0.001507368,0.01198201,0.007088019,0.00005726444,0.01127997,0.001951971,0.9595525],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6545295,"threshold_uncertainty_score":0.4927718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07760133858126825,"score_gpt":0.2978954237337485,"score_spread":0.2202940851524803,"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."}}