{"id":"W3216039302","doi":"","title":"Interactive Oracle Proofs with Constant Rate and Query Complexity","year":2016,"lang":"en","type":"preprint","venue":"IACR Cryptology ePrint Archive","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Proof complexity; Sublinear function; Oracle; Constant (computer programming); Gas meter prover; Mathematics; Communication complexity; Satisfiability; Computer science; Computational complexity theory; Discrete mathematics; Theoretical computer science; Algorithm","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.01554665,0.002421234,0.003069301,0.002528491,0.002062128,0.01118367,0.008242886,0.003528626,0.0170081],"category_scores_gemma":[0.09860866,0.002392854,0.004662661,0.004220567,0.006528515,0.03662595,0.01053793,0.01206523,0.004049556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007112553,"about_ca_system_score_gemma":0.0047123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00169232,"about_ca_topic_score_gemma":0.0009862869,"domain_scores_codex":[0.9569607,0.01092008,0.002521879,0.006166217,0.01788981,0.00554136],"domain_scores_gemma":[0.7447124,0.199823,0.01027986,0.03665406,0.006301227,0.002229577],"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.001029976,0.0003572619,0.00195084,0.00122975,0.0002825655,0.0004946923,0.000964374,0.07379125,0.009611821,0.8576733,0.005117226,0.04749698],"study_design_scores_gemma":[0.0002746507,0.00016064,0.0003148912,0.0001081782,0.0002099637,0.0005398392,0.0001027313,0.2624901,0.01127123,0.7184547,0.005972807,0.0001003673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05178609,0.002313168,0.9069266,0.004125488,0.0001571416,0.0005291195,0.001273571,0.003547459,0.02934136],"genre_scores_gemma":[0.6553877,0.002260418,0.321449,0.001465363,0.0009895373,0.001105162,0.001450801,0.001789071,0.01410288],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0170081,"threshold_uncertainty_score":0.08221954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03195958224149732,"score_gpt":0.2735871208355943,"score_spread":0.241627538594097,"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."}}