{"id":"W3184920538","doi":"10.1109/focs52979.2021.00080","title":"LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic","year":2022,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Royal Society","keywords":"Equivalence (formal languages); Bounded function; Discrete mathematics; Computer science; Mathematics; Combinatorics; Algorithm","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.01047825,0.002790392,0.002809191,0.00231864,0.003028373,0.007860205,0.008053991,0.003844225,0.01783448],"category_scores_gemma":[0.07937282,0.001856949,0.005499877,0.002810221,0.008485223,0.03224382,0.01069228,0.01441606,0.002837467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007820572,"about_ca_system_score_gemma":0.004000343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002031647,"about_ca_topic_score_gemma":0.002298886,"domain_scores_codex":[0.982313,0.004910335,0.0007491491,0.004425934,0.004670672,0.002930942],"domain_scores_gemma":[0.8679013,0.1095851,0.003706917,0.01323501,0.003316097,0.00225564],"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.0009684693,0.0003994418,0.002841987,0.000832401,0.0001921297,0.0002170208,0.0007293316,0.06271496,0.003932879,0.8751692,0.01065523,0.04134691],"study_design_scores_gemma":[0.00009625586,0.0001177427,0.0004140296,0.00009734638,0.0001011445,0.0001259016,0.00005970316,0.1211699,0.003952967,0.870718,0.003101898,0.00004504856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09659766,0.003687777,0.8108853,0.01637167,0.0004201362,0.0003506354,0.002405718,0.005816155,0.06346495],"genre_scores_gemma":[0.856741,0.002080426,0.1128696,0.005243127,0.002029289,0.001054775,0.002811127,0.002106075,0.0150646],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01783448,"threshold_uncertainty_score":0.05966228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02209304775552252,"score_gpt":0.230885224742771,"score_spread":0.2087921769872484,"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."}}