{"id":"W2149618674","doi":"10.1109/ismvl.2012.46","title":"Counting Predicates, Subset Surjective Functions, and Counting CSPs","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Closure operator; Surjective function; Closure (psychology); Mathematics; Partial function; Counting problem; Constraint satisfaction problem; Operator (biology); Galois connection; Set (abstract data type); Discrete mathematics; Type (biology); Distributive property; Invariant (physics); Partially ordered set; Algebra over a field; Closed set; Computer science; Pure mathematics; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008169589,0.0001353916,0.0001408833,0.00006858605,0.0003061196,0.0001962544,0.000273742,0.00007002877,0.0000536269],"category_scores_gemma":[0.0001567389,0.0001092712,0.0000345862,0.0002777791,0.00006160224,0.001053039,0.000252307,0.000136709,0.0001676471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004142891,"about_ca_system_score_gemma":0.00004692859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001221213,"about_ca_topic_score_gemma":0.00004012519,"domain_scores_codex":[0.9988436,0.00005243951,0.0001652501,0.0002919419,0.0001989793,0.0004478212],"domain_scores_gemma":[0.9992079,0.0001935648,0.00008511823,0.0002576727,0.0001145617,0.0001412014],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000005178662,0.0001482877,0.8041824,0.00003755105,0.00005056268,0.000003028023,0.003063817,0.000002900535,0.0002979862,0.1554695,0.01934554,0.01739329],"study_design_scores_gemma":[0.001606557,0.0002334999,0.7098187,0.00009510621,0.00008605689,0.0003341032,0.00206205,0.0629711,0.003114732,0.004413903,0.2137752,0.001488987],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3014314,0.004680479,0.3978144,0.0004230493,0.002214851,0.0003533239,0.000006540753,0.001036749,0.2920393],"genre_scores_gemma":[0.9933147,0.00003097605,0.003756259,0.0001642675,0.0003120613,0.00001140908,0.000004206883,0.000008341844,0.002397753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6918834,"threshold_uncertainty_score":0.4455948,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01524239475201775,"score_gpt":0.2259805353060998,"score_spread":0.210738140554082,"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."}}