{"id":"W4398527628","doi":"10.7910/dvn/fie0s4/lpmjdt","title":"Manual_R53i_spec.pdf","year":2016,"lang":"en","type":"dataset","venue":"Harvard Dataverse","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Spec#; Computer science; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0005741112,0.0009100676,0.0008158622,0.0005756143,0.000181909,0.0002083668,0.002514354,0.0006813598,0.7968797],"category_scores_gemma":[0.0005915773,0.0007468218,0.0002933243,0.0002965954,0.0003370037,0.0007700012,0.001645754,0.0007531969,0.9988498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000541342,"about_ca_system_score_gemma":0.0002816408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004695996,"about_ca_topic_score_gemma":0.0003924219,"domain_scores_codex":[0.9955167,0.0002227017,0.0006761409,0.001314199,0.001189931,0.001080351],"domain_scores_gemma":[0.9936044,0.0001628896,0.0005423368,0.005042489,0.0001405006,0.0005073382],"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.0001400007,0.0001424147,0.000002512201,0.000117315,0.0001985773,0.0006547124,0.000004227245,1.790642e-7,0.0001087083,0.00006266261,0.9983636,0.0002051655],"study_design_scores_gemma":[0.001098995,0.00005902304,0.00001824363,0.0002855648,0.0003469679,0.00006892215,0.00001619076,7.277261e-7,0.00006217039,0.00007999688,0.9969481,0.00101506],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.000002175589,5.379764e-7,0.000008585114,0.000003799016,0.001672721,0.0005196896,0.9919208,0.0002606722,0.005611008],"genre_scores_gemma":[3.793678e-7,0.0003327027,0.0001199641,0.0004316572,0.001296456,0.00006814936,0.9829696,0.0001782941,0.0146028],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.2019701,"threshold_uncertainty_score":0.9994983,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01797279800200024,"score_gpt":0.2638140244594581,"score_spread":0.2458412264574579,"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."}}