{"id":"W4406575454","doi":"10.1016/s1558-0164(08)70419-x","title":"10.1016/s1558-0164(08)70419-x","year":2000,"lang":"en","type":"article","venue":"Time to knit","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Medicine; Schedule; Economics; Management","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004259429,0.0001272564,0.0001301514,0.00008530507,0.00009427931,0.0001132767,0.001033673,0.00005993765,0.972533],"category_scores_gemma":[0.00007157163,0.0001263652,0.00004821428,0.0004647886,0.00003064843,0.0004402263,0.0001195503,0.0001093778,0.9983705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004982932,"about_ca_system_score_gemma":0.00003291144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008579821,"about_ca_topic_score_gemma":3.328283e-8,"domain_scores_codex":[0.9988181,0.00009689754,0.0002030189,0.0003370759,0.0002579133,0.0002869731],"domain_scores_gemma":[0.9989106,0.00004711675,0.00004207923,0.0008081543,0.00005272878,0.0001392888],"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.00001646539,0.00003731796,1.245949e-8,0.000004029103,0.000005798081,0.000002844788,0.00005635696,0.0001375237,0.00009918401,0.0002277839,0.1838499,0.8155628],"study_design_scores_gemma":[0.0001014451,0.0001029761,0.00005455314,0.000008541169,0.000003029741,0.00001218091,2.759901e-7,0.01616684,0.0008375106,0.00009817496,0.9824474,0.0001671006],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00007093612,0.00002741013,0.008545359,0.0002684511,0.000006130553,0.0001608498,0.00000243698,0.0003232811,0.9905952],"genre_scores_gemma":[0.00002164814,1.591006e-7,0.1783282,0.0000655367,0.00007255491,0.00001925002,0.000001928217,0.00001061886,0.8214801],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8153957,"threshold_uncertainty_score":0.5153021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01120820911267782,"score_gpt":0.2108334402654093,"score_spread":0.1996252311527315,"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."}}