{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005965305,0.001508984,0.002285057,0.002459184,0.003633519,0.00735324,0.003962978,0.003602596,0.01261058],"category_scores_gemma":[0.04104402,0.001875098,0.003174111,0.002018057,0.009157188,0.02532889,0.008861161,0.009933736,0.001816275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003761652,"about_ca_system_score_gemma":0.002527051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001054284,"about_ca_topic_score_gemma":0.00112546,"domain_scores_codex":[0.991986,0.002552146,0.0004022627,0.001362708,0.00216884,0.001527888],"domain_scores_gemma":[0.9453525,0.04083469,0.002043488,0.008318434,0.002296516,0.001154423],"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.0002170241,0.00004679512,0.0004132135,0.0001535546,0.00004464613,0.0001233557,0.0004800481,0.003701344,0.001423047,0.9823814,0.001976059,0.009039493],"study_design_scores_gemma":[0.00002464835,0.00001195805,0.00007599202,0.0000179504,0.00002092609,0.00008176744,0.00003126544,0.004498123,0.00111811,0.9927056,0.00139608,0.00001748935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3065191,0.002848675,0.5697082,0.01022806,0.0003989476,0.0002183285,0.0008208258,0.003328905,0.105929],"genre_scores_gemma":[0.9544132,0.00071952,0.03208951,0.0008384617,0.0002555414,0.000141566,0.0003568526,0.0004668565,0.01071853],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01261058,"threshold_uncertainty_score":0.04218662,"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."}}