{"id":"W4393156209","doi":"10.1609/aaai.v38i9.28936","title":"Auditable Algorithms for Approximate Model Counting","year":2024,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Ministry of Education, India; National Research Foundation Singapore; National Research Foundation","keywords":"Computer science; Algorithm","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.004186999,0.00114669,0.001491266,0.001281901,0.001426,0.005205494,0.004852061,0.002562695,0.007050443],"category_scores_gemma":[0.03603654,0.00110647,0.002403769,0.002458294,0.002521857,0.01219914,0.00682839,0.005825055,0.001773402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004635888,"about_ca_system_score_gemma":0.00446315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002759887,"about_ca_topic_score_gemma":0.003910774,"domain_scores_codex":[0.9908217,0.002678886,0.0006474426,0.001913416,0.00292289,0.001015649],"domain_scores_gemma":[0.9734948,0.01305929,0.001495883,0.01028474,0.001172893,0.0004923527],"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.0003949484,0.0002612327,0.001782099,0.0003245849,0.00009706541,0.0001597426,0.0003789819,0.1626511,0.004668413,0.6771298,0.009905743,0.1422463],"study_design_scores_gemma":[0.00005456317,0.00003244507,0.0001143941,0.00004341804,0.00002425023,0.0001128058,0.00004458165,0.5537166,0.002625626,0.4380031,0.005200902,0.00002730253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01025391,0.0004105513,0.9792979,0.001197758,0.0001208041,0.00013338,0.0002701788,0.003537077,0.004778484],"genre_scores_gemma":[0.3767339,0.0006826532,0.6134857,0.0008117754,0.0002580635,0.0004885597,0.001086698,0.00083144,0.005621256],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007050443,"threshold_uncertainty_score":0.03363585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1048335967207518,"score_gpt":0.3236140129499684,"score_spread":0.2187804162292166,"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."}}