{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008731285,0.0004453513,0.0003133182,0.002425007,0.006366167,0.004595746,0.001649438,0.0007162941,0.112815],"category_scores_gemma":[0.003163383,0.0003820662,0.0003722713,0.004932604,0.00112,0.002339619,0.0009594113,0.001243286,0.01437935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.02457598,"about_ca_system_score_gemma":0.04545091,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9466441,"about_ca_topic_score_gemma":0.9688591,"domain_scores_codex":[0.99876,0.00007247915,0.0000449676,0.0002282095,0.0006380883,0.0002563282],"domain_scores_gemma":[0.9971805,0.0002298153,0.0001046336,0.0003270127,0.00184605,0.0003120011],"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.0004054772,0.00006835423,0.003561881,0.0003151695,0.00002078358,0.0002883928,0.001419298,0.009746025,0.001509125,0.1891304,0.6325208,0.1610143],"study_design_scores_gemma":[0.00002722672,0.00001960461,0.002635886,0.00009509732,0.00001609202,0.00003749091,0.001031887,0.002666938,0.001328836,0.007571957,0.9845217,0.00004740755],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.03304278,0.0007110434,0.02332087,0.003176904,0.001023491,0.0004015295,0.04124135,0.004247179,0.8928348],"genre_scores_gemma":[0.2138098,0.001255304,0.02294405,0.0004447967,0.0001112988,0.0002239831,0.02374003,0.001066106,0.7364047],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.112815,"threshold_uncertainty_score":0.3774037,"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."}}