{"id":"W2970703080","doi":"10.4230/lipics.mfcs.2019.60","title":"Approximate Counting CSP Seen from the Other Side","year":2019,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Computer science","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.0005006681,0.000265238,0.0002634105,0.00009175993,0.0002922703,0.0006952898,0.0009901315,0.0001338606,0.0001698645],"category_scores_gemma":[0.00005593453,0.0001969944,0.0001598521,0.0002593343,0.00006755964,0.001702384,0.0003068803,0.0002855974,0.0005681406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007578124,"about_ca_system_score_gemma":0.00007017783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008913584,"about_ca_topic_score_gemma":0.00004740632,"domain_scores_codex":[0.9981202,0.00003938059,0.0006906787,0.0002532341,0.0004243497,0.0004721415],"domain_scores_gemma":[0.9982498,0.0002590753,0.0003897881,0.0008347347,0.0001733209,0.00009322821],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002435388,0.000558185,0.3171867,0.0008125653,0.001090647,0.000008116987,0.07876648,0.01342009,0.0009558289,0.2426079,0.02182814,0.3225218],"study_design_scores_gemma":[0.002476112,0.00007162215,0.008384557,0.0001312466,0.00002727715,0.00002459704,0.001465135,0.8261676,0.0005800456,0.00144863,0.1586445,0.0005785914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0925627,0.00002801828,0.883701,0.001665449,0.001525527,0.001392156,0.0003148952,0.0003849905,0.01842525],"genre_scores_gemma":[0.9155736,0.00001956954,0.07597386,0.006953803,0.0002399269,0.0000807621,0.0002740406,0.00005231928,0.0008320975],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8230109,"threshold_uncertainty_score":0.80332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01032614856554379,"score_gpt":0.2228140260968382,"score_spread":0.2124878775312944,"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."}}