{"id":"W2963106249","doi":"10.1145/3313276.3316407","title":"Why extension-based proofs fail","year":2019,"lang":"en","type":"preprint","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Wind Energy Technologies Office; Natural Sciences and Engineering Research Council of Canada; Simons Institute for the Theory of Computing, University of California Berkeley; University of Toronto; U.S. Department of Energy; National Science Foundation","keywords":"Mathematical proof; Impossibility; Computer science; Extension (predicate logic); Valency; Gas meter prover; Class (philosophy); Asynchronous communication; Theoretical computer science; Argument (complex analysis); Calculus (dental); Programming language; Discrete mathematics; Mathematics; Artificial intelligence","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.02535492,0.0007950625,0.001181062,0.001182785,0.002182364,0.006057487,0.002636546,0.00542509,0.006928027],"category_scores_gemma":[0.113545,0.001315422,0.001558668,0.00103384,0.01107794,0.02255608,0.006331033,0.009361682,0.002808144],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001628335,"about_ca_system_score_gemma":0.00204104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000538607,"about_ca_topic_score_gemma":0.0003306797,"domain_scores_codex":[0.9767417,0.01085643,0.001305787,0.002926633,0.006572164,0.001597313],"domain_scores_gemma":[0.8601513,0.1122746,0.003305466,0.01506846,0.007776834,0.001423499],"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.0001167677,0.00003163554,0.0004319725,0.000280083,0.000043126,0.0002724857,0.0007847637,0.003909308,0.0006795544,0.9664324,0.006994192,0.02002367],"study_design_scores_gemma":[0.00004914104,0.00001634128,0.00004401573,0.0000693206,0.00001177892,0.0001944109,0.00006419281,0.005001921,0.001025426,0.9797221,0.01378008,0.0000211832],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05645977,0.01042161,0.8034471,0.06330151,0.002634635,0.0001997948,0.0002453842,0.003361877,0.05992831],"genre_scores_gemma":[0.7988232,0.005201969,0.1708523,0.009063574,0.001666679,0.0005062825,0.0002790412,0.001477636,0.01212929],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02535492,"threshold_uncertainty_score":0.1340913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02077867968595021,"score_gpt":0.2493409539084068,"score_spread":0.2285622742224566,"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."}}