{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00078389,0.00005902151,0.00005387915,0.00001703236,0.0003352574,0.0001010841,0.0005692244,0.00001176376,0.000005588046],"category_scores_gemma":[0.00006817439,0.00002492148,0.00001969209,0.0002803365,0.00005368782,0.00005840465,0.0001139242,0.000113561,0.00005169793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001355127,"about_ca_system_score_gemma":0.00004689188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008217365,"about_ca_topic_score_gemma":0.00003749511,"domain_scores_codex":[0.9992785,0.00006999677,0.0001123151,0.0001792794,0.000239558,0.0001203813],"domain_scores_gemma":[0.9987366,0.0002832544,0.00005524946,0.0007414928,0.0001221303,0.00006130809],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003035399,0.0001818561,0.004671464,0.000007538381,0.00003294571,6.308773e-7,0.002934611,0.006832669,0.0002565782,0.8621067,0.02928659,0.09365804],"study_design_scores_gemma":[0.0007092391,0.0007967901,0.01176055,0.00005261593,0.00001491234,0.00001466554,0.005140775,0.1020639,0.001874013,0.03276921,0.8443506,0.0004527418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01381104,0.00001232707,0.9419664,0.008767909,0.00005325691,0.0002339714,9.785408e-7,0.00008738408,0.03506679],"genre_scores_gemma":[0.9620858,4.662063e-7,0.03359416,0.0007362697,0.00008758542,0.0001218956,6.344206e-7,0.000005467382,0.003367703],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9482748,"threshold_uncertainty_score":0.2578563,"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."}}