{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009634376,0.00114809,0.00102223,0.002264388,0.001506706,0.004320128,0.002572682,0.001388788,0.004338308],"category_scores_gemma":[0.03403551,0.001014418,0.002132575,0.002312917,0.006023756,0.01300954,0.004569034,0.008306193,0.00101543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004237185,"about_ca_system_score_gemma":0.00425526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001841141,"about_ca_topic_score_gemma":0.001136045,"domain_scores_codex":[0.988492,0.003861678,0.0009454117,0.00251118,0.00323895,0.0009507008],"domain_scores_gemma":[0.9525172,0.03206015,0.002193994,0.01014588,0.002394055,0.0006887785],"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.0001747722,0.00008953406,0.001484033,0.0002230034,0.00003315405,0.00006883971,0.000470858,0.01850414,0.004046837,0.931174,0.001256237,0.04247459],"study_design_scores_gemma":[0.0000267139,0.00006821653,0.000400836,0.00008062668,0.00004551187,0.0001155434,0.0001101033,0.1376425,0.01726844,0.834927,0.00925171,0.0000628409],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007660671,0.0002354239,0.9883103,0.0005559624,0.00005022924,0.00006846569,0.00009907958,0.0008608951,0.002158966],"genre_scores_gemma":[0.4820565,0.000944728,0.5082625,0.0008331123,0.000387012,0.0004585941,0.0004675035,0.001109142,0.005480911],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009634376,"threshold_uncertainty_score":0.05095208,"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."}}