{"id":"W2811274606","doi":"10.4171/owr/2017/37","title":"Proof Complexity and Beyond","year":2018,"lang":"en","type":"article","venue":"Oberwolfach Reports","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Proof complexity; Mathematics; Mathematical proof; Geometry","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.005293329,0.0009497947,0.001301399,0.002858224,0.002378859,0.008441582,0.00192439,0.002976967,0.01422031],"category_scores_gemma":[0.02311834,0.000588226,0.001226851,0.001646604,0.01458834,0.02242589,0.004199493,0.009061231,0.002147771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005011948,"about_ca_system_score_gemma":0.001847837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001460228,"about_ca_topic_score_gemma":0.0005663494,"domain_scores_codex":[0.9949478,0.001867285,0.0002353668,0.001037671,0.0015713,0.0003406167],"domain_scores_gemma":[0.9697912,0.02333234,0.0007383162,0.00321079,0.002285728,0.0006416077],"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.000006043656,0.000006186134,0.00004504272,0.00006651963,0.00000527644,0.0000150272,0.00009066967,0.0003760567,0.00006767894,0.9924405,0.002715762,0.004165258],"study_design_scores_gemma":[0.000003010008,0.000002400282,0.00003652156,0.00003486488,0.000001740199,0.00001933459,0.00002261212,0.0006334738,0.00004476679,0.987317,0.01188043,0.000003812648],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"review","genre_scores_codex":[0.02082546,0.1163188,0.3584381,0.1358462,0.003486656,0.0001324314,0.001115512,0.0008063026,0.3630306],"genre_scores_gemma":[0.7935415,0.04912452,0.08641236,0.0196253,0.01064514,0.0004291006,0.000917962,0.0007779046,0.03852617],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01422031,"threshold_uncertainty_score":0.04757166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03068121892938597,"score_gpt":0.2620591438288232,"score_spread":0.2313779248994372,"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."}}