{"id":"W4385404176","doi":"10.1137/20m1375851","title":"Why Extension-Based Proofs Fail","year":2023,"lang":"en","type":"article","venue":"SIAM Journal on Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Intel Corporation; U.S. Department of Energy; Oracle; European Research Council; National Science Foundation","keywords":"Mathematical proof; Impossibility; Computer science; Extension (predicate logic); Iterated function; Theoretical computer science; Mathematics; Gas meter prover; Discrete mathematics; Asynchronous communication; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.03777941,0.001118518,0.001337079,0.001846216,0.002759582,0.006436178,0.004049806,0.004891151,0.007123425],"category_scores_gemma":[0.1514205,0.001708934,0.002182655,0.00126498,0.01370952,0.03081848,0.00942908,0.00892132,0.003058121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001802282,"about_ca_system_score_gemma":0.002423685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004986005,"about_ca_topic_score_gemma":0.0002647609,"domain_scores_codex":[0.9622871,0.01933707,0.002283643,0.003924287,0.009802197,0.002365739],"domain_scores_gemma":[0.7606702,0.1887509,0.007008441,0.02824485,0.01311759,0.002207986],"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.00008750879,0.00003468265,0.0005601313,0.0003156047,0.00004652267,0.0003587137,0.0008382339,0.004822691,0.0006132994,0.9657509,0.004524637,0.0220471],"study_design_scores_gemma":[0.00004517311,0.00002622322,0.00005309592,0.00009210622,0.00001364714,0.0002814325,0.0000811911,0.00672414,0.001039186,0.9795088,0.01210649,0.00002848777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03774154,0.006124096,0.8882785,0.02845831,0.001415968,0.0002135385,0.0002230714,0.002126112,0.03541883],"genre_scores_gemma":[0.7555327,0.004357979,0.2234615,0.005576314,0.001354776,0.0005495739,0.0003341437,0.001058222,0.007774689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03777941,"threshold_uncertainty_score":0.199799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448646008733901,"score_gpt":0.2712011413865315,"score_spread":0.2467146812991924,"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."}}