{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002176496,0.000209249,0.0003221858,0.00011446,0.0001582955,0.00007428809,0.000400222,0.00006824997,0.00001658649],"category_scores_gemma":[0.00001735646,0.0001310511,0.00004902423,0.0001010592,0.0007995684,0.0003106653,0.0004682734,0.0001816414,0.00007821188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005183884,"about_ca_system_score_gemma":0.00005688286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005653336,"about_ca_topic_score_gemma":0.0001783417,"domain_scores_codex":[0.9983597,0.0002592212,0.0002625904,0.0005733016,0.0001629859,0.0003821523],"domain_scores_gemma":[0.9989049,0.000305179,0.0001275163,0.0004213743,0.00009892037,0.000142102],"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.00009700601,0.00009958515,0.02374907,0.00001997352,0.00007297534,0.00009370243,0.001299721,7.18889e-7,0.00432483,0.9313591,0.00004333227,0.03884001],"study_design_scores_gemma":[0.0009134909,0.0005095375,0.0396665,0.00005346115,0.00002031223,0.001163956,0.0001424113,0.001157714,0.005747424,0.9489104,0.001295506,0.0004192572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05877104,0.00004151648,0.9332566,0.001047149,0.0001982327,0.0004382915,0.000004320123,0.0001717257,0.006071149],"genre_scores_gemma":[0.8936335,0.000009708908,0.106145,0.0000988029,0.00004125069,0.00005322307,0.000004855969,0.00001038151,0.000003334871],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8348624,"threshold_uncertainty_score":0.5344109,"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."}}