{"id":"W6929021048","doi":"10.48448/mvcq-4k93","title":"Towards Real-Time Approximate Counting","year":2025,"lang":"en","type":"other","venue":"Underline Science Inc.","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Counting problem; Speedup; Task (project management); Counting process; Boolean function; True quantified Boolean formula","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.004416873,0.001930728,0.001771043,0.001683738,0.000912962,0.005299363,0.004210576,0.001821581,0.01093623],"category_scores_gemma":[0.02329857,0.0007555514,0.001381686,0.003229794,0.001795528,0.007598103,0.004696573,0.004036266,0.003856074],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002644209,"about_ca_system_score_gemma":0.004751381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004148209,"about_ca_topic_score_gemma":0.006321519,"domain_scores_codex":[0.9929213,0.002077185,0.0003566708,0.001302493,0.002481507,0.0008608704],"domain_scores_gemma":[0.9882054,0.00469732,0.0006506846,0.004724944,0.001235343,0.0004863592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001266217,0.0005074457,0.003471736,0.0009587865,0.0001413213,0.0002528842,0.0003897915,0.2760828,0.01300565,0.2388224,0.08351242,0.3815885],"study_design_scores_gemma":[0.00007505695,0.00007396027,0.0002023668,0.0000492128,0.00002908982,0.0001258051,0.00008285687,0.8891407,0.003285393,0.09175424,0.01515945,0.00002177462],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03994841,0.002389384,0.9198328,0.004055706,0.0006250434,0.0002187042,0.001014811,0.01343436,0.01848087],"genre_scores_gemma":[0.3081257,0.0009799141,0.6776766,0.001260709,0.0004268864,0.0003655119,0.002411344,0.00171947,0.00703383],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01093623,"threshold_uncertainty_score":0.03658533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0168328300396484,"score_gpt":0.2966355404702317,"score_spread":0.2798027104305833,"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."}}