{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002377158,0.0005982256,0.000658696,0.002109776,0.0003689824,0.000435498,0.002181163,0.0003410758,0.005269905],"category_scores_gemma":[0.0005479293,0.0005545799,0.0001008235,0.003258974,0.002075924,0.0002867897,0.0007766994,0.0004340981,0.01443938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006091105,"about_ca_system_score_gemma":0.003658957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002849776,"about_ca_topic_score_gemma":0.0002411678,"domain_scores_codex":[0.9949916,0.00006837419,0.000497682,0.001424511,0.001824804,0.001193032],"domain_scores_gemma":[0.9974836,0.00006116249,0.0005610684,0.00130064,0.000352557,0.0002409586],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001104933,0.0001563167,0.00006578811,0.000204143,0.00006554279,0.00003173359,0.00009924921,0.00004448299,0.01635719,0.02469536,0.943161,0.01510821],"study_design_scores_gemma":[0.0009082258,0.00008476022,0.0001013263,0.001450949,0.0001903608,0.00002515783,0.0001612466,0.07050303,0.001729788,0.003628572,0.9193048,0.001911789],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00003733107,0.0001463875,0.001313621,0.0001557358,0.0006935389,0.0005862386,0.0004301816,0.002007439,0.9946295],"genre_scores_gemma":[0.0005864304,0.00008930641,0.04304821,0.0001972154,0.0005801297,0.00002872301,0.000157867,0.0009130532,0.954399],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.07045855,"threshold_uncertainty_score":0.9996906,"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."}}