{"id":"W4399889523","doi":"10.1145/3661814.3662100","title":"Declassification Policy for Program Complexity Analysis","year":2024,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0002676534,0.000065032,0.00008809631,0.0003227299,0.0001320562,0.0005345949,0.0004514712,0.00003378632,0.00001426686],"category_scores_gemma":[0.00004063941,0.00005835702,0.0001370332,0.002287707,0.00003366941,0.0002348601,0.00005854113,0.00004799726,0.00003524539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005116587,"about_ca_system_score_gemma":0.00009362718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005190659,"about_ca_topic_score_gemma":0.00001605066,"domain_scores_codex":[0.9992064,0.00002343038,0.0001677154,0.0003317818,0.0001163247,0.0001543729],"domain_scores_gemma":[0.999326,0.0001473873,0.0000276228,0.000369591,0.00007932098,0.00005009917],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.512353e-7,0.00002858413,0.00005121441,0.00001516855,0.00006298163,1.513937e-7,0.0002119845,0.00004810625,0.00002964191,0.8505392,0.0007480452,0.1482644],"study_design_scores_gemma":[0.00003259247,0.00002059267,0.002016086,0.00000323302,0.00002499316,0.000001213231,0.00001384358,0.8918503,0.0002570431,0.0354876,0.07021952,0.00007301712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009061581,0.00008100627,0.9869365,0.006864881,0.0001696333,0.0002385876,0.000002582178,0.001075957,0.003724769],"genre_scores_gemma":[0.6730573,0.000003527689,0.32629,0.0001747259,0.0001331684,0.00007349078,0.00001580305,0.000003181015,0.0002488288],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8918022,"threshold_uncertainty_score":0.5155112,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1037064273858652,"score_gpt":0.3979294828647192,"score_spread":0.294223055478854,"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."}}