{"id":"W4411141791","doi":"10.1145/3725253","title":"Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Management of Data","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Power (physics); Physics; Thermodynamics","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":["metaresearch","open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.009915994,0.0001400078,0.00030807,0.0001682077,0.0001410608,0.0001431663,0.01302621,0.00003848237,0.00005076729],"category_scores_gemma":[0.01685998,0.00007696724,0.0001155637,0.0008525975,0.0002342756,0.001024814,0.01601715,0.0001258408,0.000007758214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001767547,"about_ca_system_score_gemma":0.00003292517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002022562,"about_ca_topic_score_gemma":0.000003468309,"domain_scores_codex":[0.9966227,0.00003673645,0.0008861673,0.0005740526,0.001659291,0.0002210134],"domain_scores_gemma":[0.9938844,0.001335104,0.0009662146,0.003338165,0.0004477523,0.00002832025],"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.0002051825,0.0002606869,0.000684311,0.0004722786,0.0002531939,3.197928e-7,0.00022443,0.000005238107,0.0002669767,0.6632769,0.2964288,0.03792165],"study_design_scores_gemma":[0.0013811,0.0003097016,0.0120498,0.001043017,0.0006123891,0.000001279646,0.04163684,0.0008499566,0.01534225,0.5877789,0.3387007,0.0002941338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1619397,0.000428039,0.04646963,0.3707001,0.002578508,0.009395396,0.002610127,0.0001408292,0.4057377],"genre_scores_gemma":[0.9390636,0.0001240491,0.0563399,0.00122605,0.0000311521,0.00006338455,0.00002077171,0.00001304248,0.003118062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7771239,"threshold_uncertainty_score":0.9923138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3512875317024356,"score_gpt":0.4853916397535502,"score_spread":0.1341041080511146,"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."}}