{"id":"W1625693084","doi":"10.1016/j.tcs.2016.05.005","title":"Correlation bounds and #SAT algorithms for small linear-size circuits","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Algorithm; Mathematics; Correlation; Electronic circuit; Computer science","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.01315683,0.003281825,0.004058507,0.00371483,0.004165334,0.008497781,0.009869403,0.005435005,0.01815656],"category_scores_gemma":[0.07893843,0.00282248,0.00359222,0.006051381,0.009495364,0.02201157,0.009853838,0.01783815,0.003160445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01088475,"about_ca_system_score_gemma":0.007929808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00430174,"about_ca_topic_score_gemma":0.006531039,"domain_scores_codex":[0.9888574,0.004474085,0.0003574993,0.001636092,0.003031581,0.001643345],"domain_scores_gemma":[0.8702973,0.1093842,0.003752466,0.01029373,0.003800216,0.002472148],"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.001019453,0.0003114493,0.001702961,0.0004191959,0.0001434386,0.00009017601,0.0002892457,0.07140657,0.002367589,0.8732395,0.016145,0.03286532],"study_design_scores_gemma":[0.0001192523,0.0000544122,0.000618942,0.0001113721,0.00007728276,0.00006099284,0.00005471463,0.2682487,0.001881296,0.726465,0.002260379,0.00004770347],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09905228,0.007399209,0.7902572,0.01996609,0.0007867037,0.0003770486,0.001435949,0.002572197,0.07815331],"genre_scores_gemma":[0.8129293,0.004425905,0.1452457,0.004460665,0.002035287,0.001270331,0.002019369,0.002064926,0.02554863],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01815656,"threshold_uncertainty_score":0.07897472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01355898446438152,"score_gpt":0.2460990403847308,"score_spread":0.2325400559203492,"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."}}