{"id":"W2537617025","doi":"10.1145/2976749.2989066","title":"POSTER","year":2016,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Rectangle; Bounding overwatch; Gas meter prover; Protocol (science); Novelty; Construct (python library); Theoretical computer science; Adversary; Algorithm; Computer security; Mathematics; Artificial intelligence; Mathematical proof; Computer network","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001830076,0.0006949506,0.0006949662,0.001129287,0.001978224,0.003875676,0.001899274,0.001886548,0.1623191],"category_scores_gemma":[0.003378438,0.0005184999,0.000981536,0.0009417183,0.0008100832,0.003958411,0.004002897,0.002097714,0.0891175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001012888,"about_ca_system_score_gemma":0.001354034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001079286,"about_ca_topic_score_gemma":0.001104837,"domain_scores_codex":[0.9980776,0.0003904777,0.000133476,0.0005566131,0.0006339173,0.0002078316],"domain_scores_gemma":[0.9969031,0.0003259837,0.0001132511,0.001245149,0.0009432876,0.0004692599],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008461047,0.0003144011,0.002667476,0.0004751228,0.00007636137,0.0007559398,0.000483581,0.003949316,0.01966469,0.1092438,0.4263876,0.4351356],"study_design_scores_gemma":[0.00007389976,0.0001300216,0.0008437465,0.00008342836,0.00003189506,0.0007585576,0.0001645054,0.009757873,0.01075826,0.02304367,0.9543116,0.0000425193],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01613243,0.003636298,0.4862857,0.01340701,0.01604187,0.0008749532,0.004718176,0.01947384,0.4394298],"genre_scores_gemma":[0.1445106,0.002632194,0.2045254,0.003836639,0.003555083,0.0004283062,0.01022462,0.002693062,0.6275942],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8376809,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01012766203724211,"score_gpt":0.2156332668236852,"score_spread":0.2055056047864431,"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."}}