{"id":"W2990094262","doi":"10.1145/3335741.3335750","title":"The knowledge complexity of interactive proof-systems","year":2019,"lang":"en","type":"book-chapter","venue":"Association for Computing Machinery eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":134,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Citation; Computer science; Cryptography; World Wide Web; Computer security","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001918018,0.0003851139,0.0007011788,0.0001326319,0.0004472495,0.000371641,0.001186036,0.0003437875,0.0000011894],"category_scores_gemma":[0.0001641197,0.0002908819,0.0004179786,0.0000371,0.00008875674,0.00008638929,0.0004857297,0.0004739429,0.00005283757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004631814,"about_ca_system_score_gemma":0.0002669698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007590539,"about_ca_topic_score_gemma":0.00007720093,"domain_scores_codex":[0.9975103,0.0001698182,0.0008757318,0.0005487722,0.0004803969,0.0004149394],"domain_scores_gemma":[0.9942016,0.001782395,0.002477681,0.0006867492,0.0007878664,0.00006370866],"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":[0.00000979855,0.00001861766,0.0001308657,0.0001417582,0.0003070619,5.231807e-7,0.0008542875,0.00003219685,0.000005121813,0.975808,0.001471158,0.02122058],"study_design_scores_gemma":[0.0007863734,0.0003140591,0.0001369754,0.0001390316,0.00008764377,0.000009246816,0.00003587923,0.09143552,0.00005767232,0.2676304,0.6387114,0.0006557983],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001834162,0.0005592515,0.1480803,0.00008141761,0.005064747,0.001840975,0.00002172203,0.0002089964,0.8441242],"genre_scores_gemma":[0.4638546,0.000002247429,0.0004190951,0.00001932852,0.0004900871,0.00001976755,0.00003494199,0.00004608468,0.5351139],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7081776,"threshold_uncertainty_score":0.9999543,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0388709443907372,"score_gpt":0.2749463209911082,"score_spread":0.236075376600371,"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."}}