{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001096175,0.0001736389,0.0002360845,0.0002171906,0.0005268104,0.0005384752,0.0008262205,0.00006076537,0.000008602512],"category_scores_gemma":[0.0001126198,0.0001430854,0.0001430704,0.0009983293,0.00002209657,0.0002263955,0.0001356999,0.0004303484,0.000296704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006257764,"about_ca_system_score_gemma":0.000112668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004506285,"about_ca_topic_score_gemma":8.405113e-7,"domain_scores_codex":[0.9979944,0.0001352875,0.0004313715,0.0003544988,0.0005838778,0.0005006188],"domain_scores_gemma":[0.9987045,0.0002216912,0.0002559997,0.0004131283,0.0002070366,0.0001976693],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003783599,0.0002236004,0.001385574,0.0001061747,0.00007615962,0.002533002,0.001135121,0.2672875,0.001799494,0.02308369,0.3364498,0.3658821],"study_design_scores_gemma":[0.0005743488,0.0001520114,0.002912199,0.0004145766,0.000002506257,0.0001802369,0.00004537562,0.9120578,0.0002736453,0.0007598203,0.08238494,0.0002425343],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05363124,0.0001342919,0.9340164,0.007173329,0.002876264,0.0001565039,0.000003109572,0.0006036189,0.001405252],"genre_scores_gemma":[0.9908884,0.000003381496,0.00548224,0.00294871,0.0005282141,0.000001597141,0.000002796505,0.00001605897,0.0001285884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9372572,"threshold_uncertainty_score":0.5834852,"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."}}