{"id":"W4412303218","doi":"10.5281/zenodo.1117724","title":"V2 And Cp/Cp","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Pennsylvania; Ministerio de Ciencia e Innovación; Norges Forskningsråd; Riksbankens Jubileumsfond; Social Sciences and Humanities Research Council of Canada; Eusko Jaurlaritza; National Science Foundation","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"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.00123125,0.0006516187,0.0003029994,0.0007221355,0.001801612,0.003565308,0.001510326,0.001610988,0.01456262],"category_scores_gemma":[0.002472656,0.0004970251,0.0008934959,0.0009752561,0.003661737,0.006221805,0.003385852,0.004345805,0.002452965],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001816746,"about_ca_system_score_gemma":0.001077526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006119744,"about_ca_topic_score_gemma":0.005379799,"domain_scores_codex":[0.9985701,0.0003877896,0.00004342782,0.0003897784,0.0003954324,0.0002134127],"domain_scores_gemma":[0.9992305,0.0002533385,0.000042692,0.0002295758,0.000195121,0.00004881419],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001171425,0.000004102487,0.00008509224,0.0000128377,0.000003102504,0.00007087336,0.0003442753,0.00008441918,0.0004486977,0.9942461,0.001327169,0.003361638],"study_design_scores_gemma":[0.00003195018,0.00002253494,0.0006456954,0.00006190148,0.00001934493,0.0005783474,0.0005066761,0.003689261,0.00644944,0.7932876,0.1946632,0.00004414307],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05074322,0.001449955,0.3356912,0.004301067,0.0007044777,0.0001268031,0.001171683,0.0007305365,0.6050811],"genre_scores_gemma":[0.8563098,0.0007787886,0.06833695,0.00237482,0.0003326225,0.0001331622,0.001232012,0.001568797,0.06893317],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01456262,"threshold_uncertainty_score":0.04871678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03403209623264339,"score_gpt":0.2671534231184585,"score_spread":0.2331213268858151,"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."}}