{"id":"W3014805183","doi":"10.1007/s00037-004-0183-5","title":"Non-Automatizability of Bounded-Depth Frege Proofs","year":2004,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":71,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"National Science Foundation","keywords":"Bounded function; Corollary; Mathematical proof; Mathematics; Argument (complex analysis); Discrete mathematics; Polynomial","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.0003655003,0.0001742021,0.0002659985,0.0001343293,0.000212747,0.00009784849,0.0009883967,0.00005811503,0.00002672011],"category_scores_gemma":[0.00004417885,0.000175282,0.0001539046,0.0007029182,0.0004011532,0.0005834254,0.0003826238,0.0001616496,0.00003401419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006857554,"about_ca_system_score_gemma":0.0002651469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001385482,"about_ca_topic_score_gemma":0.00008021983,"domain_scores_codex":[0.9982789,0.00005518282,0.0004271981,0.0004634877,0.0005250819,0.000250168],"domain_scores_gemma":[0.9986708,0.0001200063,0.0001854665,0.0006207185,0.0002793991,0.0001235679],"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.000009710867,0.0003889958,0.004531005,0.0000552047,0.00002168724,0.000003444149,0.0004808908,0.005660404,0.00004030668,0.9871203,0.0002113505,0.001476646],"study_design_scores_gemma":[0.0004848594,0.00007010793,0.2650768,0.00001807077,0.000002540673,0.00001180262,0.00000684521,0.03494834,0.0003126641,0.6987439,0.0001855018,0.0001384974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2971795,0.00005048754,0.7004459,0.000396599,0.0001497635,0.0002165535,0.00005409461,0.0001644147,0.001342629],"genre_scores_gemma":[0.7068254,8.189928e-7,0.2929493,0.000120975,0.00002838961,0.000007650662,0.00006241352,0.000004511587,5.829002e-7],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4096459,"threshold_uncertainty_score":0.7147791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03632872527826129,"score_gpt":0.2831419397445236,"score_spread":0.2468132144662623,"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."}}