{"id":"W3125322785","doi":"","title":"The expressibility of functions on the Boolean domain, with applications to Counting CSPs","year":2015,"lang":"en","type":"article","venue":"","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Isaac Newton Institute for Mathematical Sciences","keywords":"Computer science; Counting problem; Boolean function; Domain (mathematical analysis); Theoretical computer science; Arithmetic; Mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.003628866,0.001172017,0.001157136,0.002428542,0.001419942,0.004788831,0.002158895,0.001496644,0.004039894],"category_scores_gemma":[0.02677057,0.0006260438,0.00223544,0.005485257,0.004331549,0.01314289,0.003712472,0.005970621,0.0004475624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004055062,"about_ca_system_score_gemma":0.001275374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003421868,"about_ca_topic_score_gemma":0.002019647,"domain_scores_codex":[0.9963732,0.001388703,0.0002495935,0.0006475827,0.001046699,0.0002942824],"domain_scores_gemma":[0.978394,0.01791798,0.0009676196,0.001315152,0.0009692161,0.0004360545],"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.00003357202,0.0000318238,0.0004449566,0.00006507491,0.0000110705,0.00006815448,0.0002091726,0.01788728,0.0007702397,0.9654484,0.0008089745,0.01422126],"study_design_scores_gemma":[0.00001389108,0.0000161375,0.0001680792,0.00002329569,0.00001267125,0.00007912687,0.00006764273,0.1056616,0.000702009,0.8910043,0.00223614,0.00001507469],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1295084,0.00179656,0.8350188,0.005356917,0.00009717511,0.0001208068,0.0005265681,0.0004747971,0.02710001],"genre_scores_gemma":[0.7600139,0.002298904,0.2246104,0.0008799384,0.0005535528,0.0004632185,0.000873241,0.0002411153,0.0100657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004788831,"threshold_uncertainty_score":0.02942169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02130030720786396,"score_gpt":0.2600518847587018,"score_spread":0.2387515775508379,"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."}}