{"id":"W6985183608","doi":"","title":"9783631831694.pdf","year":2020,"lang":"en","type":"other","venue":"OAPEN (The OAPEN Foundation)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Bishops; Quarter (Canadian coin); Middle Ages; Delegate; Period (music)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006079204,0.000417499,0.0003870953,0.0001901511,0.0002566665,0.0006683937,0.003631228,0.0002242071,0.4815786],"category_scores_gemma":[0.000223658,0.0003373362,0.0001563657,0.0007987513,0.0001592303,0.0005843546,0.0006551677,0.0004819779,0.9532865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001136019,"about_ca_system_score_gemma":0.0002163732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001066542,"about_ca_topic_score_gemma":0.0000267854,"domain_scores_codex":[0.9973317,0.0003487416,0.00044593,0.0008133175,0.0006717446,0.0003885187],"domain_scores_gemma":[0.9972112,0.0001349599,0.0006031164,0.001839641,0.00006564218,0.0001454936],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003530531,0.00002036587,0.000009691629,0.00002950768,0.00005355624,0.000003883509,0.0001088757,0.000003232616,0.0000306991,0.06926872,0.005971974,0.924496],"study_design_scores_gemma":[0.0001877062,0.00004273963,0.0001748148,0.00005590083,0.00003283915,0.00001653576,0.00001235828,0.004187246,0.0001179318,0.002414314,0.9923518,0.0004058435],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[4.546734e-7,0.000002636242,0.333873,0.001812421,0.00135956,0.0005297526,5.121236e-9,0.0004449065,0.6619773],"genre_scores_gemma":[0.00006018834,0.00007988467,0.3116283,0.001529616,0.0007332535,0.0001356753,0.0001037909,0.0002555929,0.6854737],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9863798,"threshold_uncertainty_score":0.9999079,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02547710039955604,"score_gpt":0.2809070655647263,"score_spread":0.2554299651651703,"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."}}