{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001447747,0.00004788044,0.00006480679,0.00001376601,0.0002253778,0.0005261953,0.0005244378,0.00002762785,0.00001142492],"category_scores_gemma":[0.00002056947,0.00003315597,0.00001658429,0.00001591479,0.00003884013,0.0002776604,0.0002377971,0.00003086734,0.00011921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000361402,"about_ca_system_score_gemma":0.00001051416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002274776,"about_ca_topic_score_gemma":0.00005115689,"domain_scores_codex":[0.9995664,0.00001005316,0.00005917487,0.0001636142,0.00007902595,0.0001217322],"domain_scores_gemma":[0.999337,0.00001085022,0.00004341929,0.0005361854,0.0000197934,0.00005275234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[3.47682e-7,0.000009061622,0.008043834,0.000006307156,0.000004312274,0.000009132528,0.0002067958,7.256771e-8,0.00006315857,0.8970585,0.001780364,0.0928181],"study_design_scores_gemma":[0.0009497711,0.0002512826,0.1008192,0.000006139266,0.000008059918,0.0001103164,0.0000881559,0.006146508,0.003117438,0.1842313,0.7037047,0.000567143],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008493129,0.0002172591,0.6149093,0.001551466,0.001010189,0.0001460499,9.722118e-8,0.000238473,0.3734341],"genre_scores_gemma":[0.9887725,0.000005936533,0.003610863,0.0001069041,0.00007346755,0.000002894994,9.940911e-8,0.000001945819,0.007425423],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9802793,"threshold_uncertainty_score":0.5074114,"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."}}