{"id":"W6961208355","doi":"10.14288/1.0372865","title":"Canadian Pacific Railway lines timetable","year":2018,"lang":"en","type":"article","venue":"Open Collections","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Government (linguistics); Work (physics); Line (geometry); Fishing; Pacific ocean","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":["sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.000455836,0.00007660052,0.00009310023,0.0001278353,0.002821743,0.002142708,0.001169973,0.00004982402,0.0007316255],"category_scores_gemma":[0.0001253052,0.00007671487,0.00002522228,0.002210766,0.0000494967,0.0008310007,0.000184431,0.00007917187,0.0003978334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000175639,"about_ca_system_score_gemma":0.0005707319,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.2586015,"about_ca_topic_score_gemma":0.2139108,"domain_scores_codex":[0.9991583,0.00008821491,0.0001408739,0.0002654001,0.00009624439,0.0002509194],"domain_scores_gemma":[0.9989563,0.00003131993,0.0000440652,0.0006017085,0.0002043041,0.0001623585],"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.000003967357,0.00003434022,0.00004649577,0.000001714691,0.00001769312,0.000001487528,0.0003338393,0.00001656125,0.0001726199,0.02387465,0.9658013,0.009695317],"study_design_scores_gemma":[0.0001263174,0.00008770439,0.0001867008,0.000005676919,0.000004469642,0.0000216064,0.0000489566,0.03159228,0.003627699,0.00491147,0.9592439,0.0001432509],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00002897902,0.00001073813,0.2336498,0.0006436343,0.001051858,0.0002840172,0.000006789501,0.0000691791,0.764255],"genre_scores_gemma":[0.005351408,0.00000439592,0.5377156,0.0001897281,0.0001372795,0.00008326062,0.000002154175,0.000007444821,0.4565087],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3077463,"threshold_uncertainty_score":0.9988931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03400179450825893,"score_gpt":0.2983785911132435,"score_spread":0.2643767966049846,"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."}}