{"id":"W2078952510","doi":"10.1007/s00453-013-9823-y","title":"Lower Bounds Against Weakly-Uniform Threshold Circuits","year":2013,"lang":"en","type":"article","venue":"Algorithmica","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematical proof; Theory of computation; Electronic circuit; Boolean circuit; Mathematics; Discrete mathematics; Computer science; Boolean function; Arithmetic; Algorithm; Electrical engineering","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.005445,0.004127086,0.004032152,0.005223569,0.004593238,0.01248932,0.009291615,0.005009961,0.02631461],"category_scores_gemma":[0.05443003,0.002116562,0.003057011,0.007130399,0.006263405,0.02668386,0.01169885,0.01128679,0.0042681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007934908,"about_ca_system_score_gemma":0.003391266,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002063073,"about_ca_topic_score_gemma":0.003409699,"domain_scores_codex":[0.9904924,0.002172795,0.0004272966,0.001746722,0.002866401,0.002294327],"domain_scores_gemma":[0.9212164,0.06217537,0.002872445,0.007213401,0.003137519,0.003384757],"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.002846716,0.0004998814,0.003305258,0.001287388,0.0002747871,0.0002410625,0.000837559,0.06902105,0.007038763,0.8214585,0.03106626,0.06212274],"study_design_scores_gemma":[0.0001620874,0.0001120585,0.000507683,0.000151812,0.0001975098,0.0001602977,0.0001284743,0.1048104,0.00390982,0.8848735,0.004938789,0.00004754225],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2601706,0.01532568,0.4826948,0.02935768,0.001661368,0.0005902411,0.004949678,0.004519435,0.2007305],"genre_scores_gemma":[0.9030507,0.005255981,0.04957968,0.004331277,0.001983391,0.0008784049,0.003468886,0.00153965,0.02991204],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02631461,"threshold_uncertainty_score":0.08803117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01584595035044201,"score_gpt":0.2247284362432758,"score_spread":0.2088824858928338,"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."}}