{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005693201,0.0005254883,0.0008356412,0.0002169253,0.0002045039,0.0002392309,0.001145136,0.0002526651,0.00002656865],"category_scores_gemma":[0.0001027683,0.0003560485,0.0001264686,0.0001006957,0.001389147,0.0002192843,0.003518244,0.0009583081,0.000127844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009174712,"about_ca_system_score_gemma":0.0003916619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00017709,"about_ca_topic_score_gemma":0.0003645936,"domain_scores_codex":[0.996412,0.0008010792,0.0005004198,0.001420006,0.0002215489,0.0006449207],"domain_scores_gemma":[0.997147,0.0006239966,0.0006075131,0.001185225,0.0001995713,0.0002367576],"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.000137106,0.00009225781,0.005922427,0.0001459022,0.0002357976,0.0002331739,0.002679096,0.000004463977,0.0001485355,0.9817586,0.0001354973,0.008507173],"study_design_scores_gemma":[0.000662228,0.0002449194,0.006065623,0.0001134331,0.00002691556,0.0003062845,0.0001148418,0.00116427,0.0004685661,0.98695,0.003356243,0.0005266293],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01409847,0.0001747555,0.965219,0.001610204,0.0009146456,0.001121924,0.00002553936,0.0003272968,0.01650816],"genre_scores_gemma":[0.8281611,0.00004004776,0.1711779,0.0001848977,0.0001399942,0.0002341953,0.00001814472,0.00002914759,0.00001466156],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8140626,"threshold_uncertainty_score":0.9998891,"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."}}