{"id":"W3183545278","doi":"10.1145/3465084.3467906","title":"Reductions and Extension-Based Proofs","year":2021,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Impossibility; Mathematical proof; Extension (predicate logic); Computer science; Task (project management); Reduction (mathematics); Theoretical computer science; Set (abstract data type); Protocol (science); Discrete mathematics; Calculus (dental); Mathematics; Programming language","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.0162526,0.00162153,0.001675753,0.0034775,0.003743981,0.005079177,0.003858119,0.002602487,0.007290578],"category_scores_gemma":[0.0310575,0.00168747,0.004444747,0.002759441,0.01741958,0.02159642,0.01309936,0.01270426,0.002126802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003018421,"about_ca_system_score_gemma":0.002365426,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001097834,"about_ca_topic_score_gemma":0.0006914018,"domain_scores_codex":[0.9813478,0.007541401,0.001461993,0.002783544,0.005351633,0.001513688],"domain_scores_gemma":[0.9533319,0.03487621,0.001233042,0.006430153,0.003337844,0.0007906983],"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.00002939841,0.00002365858,0.00008332253,0.0001399236,0.00002144353,0.0001018008,0.0003623718,0.001167264,0.0003016467,0.9904919,0.001528196,0.005749138],"study_design_scores_gemma":[0.00002664274,0.00001842494,0.00003407236,0.00005198205,0.00001713867,0.0001275792,0.00005420397,0.002067693,0.0006903919,0.9865449,0.01034706,0.00001976091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.012631,0.003670367,0.9126798,0.005256122,0.0008532138,0.0003104978,0.0004820723,0.001057195,0.06305964],"genre_scores_gemma":[0.5309773,0.005463698,0.4308762,0.00464009,0.002570072,0.00144847,0.001461487,0.0009555876,0.02160721],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0162526,"threshold_uncertainty_score":0.08595306,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01252312754568794,"score_gpt":0.2310131897214598,"score_spread":0.2184900621757719,"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."}}