{"id":"W2579035965","doi":"","title":"Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.","year":2016,"lang":"en","type":"article","venue":"IACR Cryptology ePrint Archive","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof complexity; Mathematical proof; Oracle; Constant (computer programming); Mathematics; Sublinear function; Satisfiability; Combinatorial proof; Discrete mathematics; Gas meter prover; Upper and lower bounds; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.007324484,0.001326168,0.001263103,0.001659089,0.001697817,0.005314163,0.003702719,0.001629171,0.01513751],"category_scores_gemma":[0.0502837,0.001631696,0.002471312,0.002253298,0.004648379,0.01833715,0.009310593,0.006029871,0.003967475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002815238,"about_ca_system_score_gemma":0.003570306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00090238,"about_ca_topic_score_gemma":0.00104875,"domain_scores_codex":[0.9823194,0.00479679,0.001019272,0.003150521,0.007096583,0.001617383],"domain_scores_gemma":[0.9362177,0.04124262,0.004141264,0.01414473,0.002714289,0.001539399],"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.0006373317,0.0002350509,0.001870569,0.0008863313,0.000206861,0.0004348743,0.0009959234,0.02174001,0.01356412,0.8451068,0.007548918,0.1067731],"study_design_scores_gemma":[0.0001103037,0.0001465657,0.0003772797,0.00009065233,0.0001431581,0.0004053846,0.00008797502,0.0817107,0.01659919,0.8851769,0.01508364,0.00006823872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02018777,0.001028225,0.9536757,0.001367651,0.0001664982,0.0003348321,0.000667859,0.003815801,0.0187555],"genre_scores_gemma":[0.4759992,0.0009012978,0.505924,0.001056056,0.00050242,0.0005141629,0.001205684,0.001563429,0.01233375],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01513751,"threshold_uncertainty_score":0.05064005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02470146613603537,"score_gpt":0.2633926433495877,"score_spread":0.2386911772135523,"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."}}