{"id":"W4393159749","doi":"10.1609/aaai.v38i9.28927","title":"Exact ASP Counting with Compact Encodings","year":2024,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Web Data Mining and Analysis","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Supercomputing Centre Singapore; Ministry of Education, India; National Research Foundation Singapore; National Research Foundation","keywords":"Computer science; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002503114,0.00144335,0.001163061,0.002148408,0.0009287131,0.005735109,0.003143293,0.001420495,0.01061704],"category_scores_gemma":[0.01937431,0.0006274762,0.001803099,0.003037201,0.001542348,0.009618459,0.003658937,0.00319711,0.00251805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002659228,"about_ca_system_score_gemma":0.003334436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003021129,"about_ca_topic_score_gemma":0.005625601,"domain_scores_codex":[0.992792,0.001814567,0.0006430154,0.00118208,0.002885026,0.0006832751],"domain_scores_gemma":[0.9913437,0.004381672,0.0006689907,0.001941438,0.001369653,0.0002945094],"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.0007114333,0.0005566831,0.003501217,0.000900967,0.0001069623,0.0004675261,0.0005587651,0.1095847,0.009694166,0.4730763,0.03196143,0.36888],"study_design_scores_gemma":[0.0001239186,0.0001691952,0.0004620507,0.0001537194,0.00008444183,0.0003089069,0.0002418361,0.4583915,0.01027301,0.5027484,0.02698798,0.00005514705],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07891268,0.00200846,0.8680536,0.002663872,0.0003633186,0.0004311414,0.006316217,0.01508263,0.02616812],"genre_scores_gemma":[0.401148,0.001082967,0.576365,0.0008430897,0.0001863499,0.0006573934,0.009558449,0.001661833,0.008496884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01061704,"threshold_uncertainty_score":0.03551757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06447184882877637,"score_gpt":0.2922107326439561,"score_spread":0.2277388838151798,"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."}}