{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008296321,0.0002163132,0.0002789948,0.00008633868,0.0002654236,0.0002347261,0.0004292857,0.00008598294,0.00007279102],"category_scores_gemma":[0.0001450662,0.0001953103,0.00006605512,0.0003732872,0.0004581014,0.0004262084,0.0009184121,0.0001594076,0.00002974998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005767858,"about_ca_system_score_gemma":0.00009662699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009125365,"about_ca_topic_score_gemma":0.00007690736,"domain_scores_codex":[0.9976462,0.00008353469,0.0004890589,0.0009203938,0.0004380757,0.0004227769],"domain_scores_gemma":[0.9979081,0.00006803244,0.000225019,0.001334758,0.0002457228,0.0002183727],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001868347,0.001016098,0.1194235,0.0001463867,0.0001187484,0.002433269,0.004501936,0.00002539538,0.001814889,0.1024945,0.01611328,0.7518933],"study_design_scores_gemma":[0.0005208608,0.0008550306,0.2782485,0.0000311593,0.00002709188,0.006956825,0.00004083238,0.06499059,0.01017998,0.5546739,0.08228014,0.001195183],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3762135,0.0003851295,0.542926,0.002773623,0.00257547,0.0008892004,0.000003748075,0.0007939807,0.0734394],"genre_scores_gemma":[0.8834437,0.00000178588,0.1154351,0.0003500813,0.0002476114,0.00001593081,0.000003018676,0.00001185545,0.0004909718],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7506981,"threshold_uncertainty_score":0.7964524,"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."}}