{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006392022,0.0002077527,0.000238217,0.0001031336,0.0002379954,0.0003230375,0.001068487,0.0000637569,0.000009748401],"category_scores_gemma":[0.0002333745,0.0001479308,0.0001264071,0.0004948737,0.0001515468,0.001025102,0.0003360326,0.0001908319,0.00003278144],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004359713,"about_ca_system_score_gemma":0.0001376286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001770282,"about_ca_topic_score_gemma":0.000003471695,"domain_scores_codex":[0.998208,0.000005259247,0.0004763564,0.0005709211,0.0003609198,0.0003785306],"domain_scores_gemma":[0.9988505,0.0001049526,0.0001906586,0.0002972249,0.0004962412,0.00006040797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001191554,0.00002666021,0.000002635372,0.0001953563,0.00001094743,2.669149e-7,0.0005397584,0.0005775546,0.01739351,0.9401392,0.0005351763,0.04056705],"study_design_scores_gemma":[0.000008952287,0.00004273989,5.930677e-7,0.0002746879,0.000005936554,0.000003120631,0.0001606184,0.6594979,0.1577098,0.1805736,0.001592151,0.0001297873],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001708924,0.00009045438,0.9908594,0.001542901,0.0009286338,0.0005100375,0.00004792661,0.0002084662,0.004103239],"genre_scores_gemma":[0.8387054,0.00004938108,0.1591249,0.0001406635,0.000176294,0.0001728769,0.000002123831,0.00002753127,0.001600871],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8369964,"threshold_uncertainty_score":0.6032442,"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."}}