{"id":"W2956649389","doi":"10.1145/3389390","title":"Approximate Counting CSP Seen from the Other Side","year":2020,"lang":"en","type":"article","venue":"ACM Transactions on Computation Theory","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Recursively enumerable language; Treewidth; Arity; Homomorphism; Bounded function; Constraint satisfaction problem; Class (philosophy); Time complexity; Polynomial","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.003108781,0.0009480932,0.001915087,0.0007562181,0.001353983,0.004849999,0.002841512,0.002609485,0.0157563],"category_scores_gemma":[0.02463768,0.0006062282,0.00206747,0.002216382,0.003409349,0.01556268,0.003732259,0.00683977,0.001611935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002898045,"about_ca_system_score_gemma":0.002793318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004357561,"about_ca_topic_score_gemma":0.004402503,"domain_scores_codex":[0.9917746,0.002431477,0.0003787572,0.002092739,0.002508725,0.0008137278],"domain_scores_gemma":[0.979219,0.01408304,0.0009925055,0.004050594,0.001112312,0.0005425496],"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.0007214529,0.0001764108,0.001126389,0.0005341782,0.0001135766,0.0002720679,0.0004064339,0.08890492,0.005394896,0.8209667,0.01213445,0.06924853],"study_design_scores_gemma":[0.00006476268,0.00006208223,0.0002294176,0.0000348727,0.0000476198,0.0002278305,0.0001361046,0.2829731,0.002892273,0.7057876,0.00751087,0.00003343679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08569888,0.001374072,0.8710388,0.0105019,0.0004297518,0.0002831447,0.001295603,0.002603977,0.02677397],"genre_scores_gemma":[0.7179986,0.0009105551,0.2563116,0.002434101,0.0006533919,0.0004416086,0.001895864,0.0007853216,0.01856885],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0157563,"threshold_uncertainty_score":0.05271012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03920015596666548,"score_gpt":0.2917818174662398,"score_spread":0.2525816614995743,"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."}}