{"id":"W4404848238","doi":"10.1109/focs61266.2024.00098","title":"Sparse Graph Counting and Kelley-Meka Bounds for Binary Systems","year":2024,"lang":"en","type":"article","venue":"","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"National Science Foundation","keywords":"Computer science; Binary number; Graph; Graph theory; Theoretical computer science; Algorithm; Combinatorics; Mathematics; Arithmetic","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.002506732,0.001282947,0.002270392,0.004003595,0.002792254,0.003873379,0.00345482,0.002213565,0.01016156],"category_scores_gemma":[0.03476003,0.001141994,0.001595842,0.003820855,0.005337512,0.01213427,0.004960557,0.006181836,0.001438654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004337556,"about_ca_system_score_gemma":0.001606491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003295569,"about_ca_topic_score_gemma":0.003171141,"domain_scores_codex":[0.9959365,0.0008851897,0.0001533766,0.0009697202,0.001282596,0.0007725782],"domain_scores_gemma":[0.9659484,0.02572213,0.001643352,0.003202096,0.0019071,0.001576936],"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.0001088869,0.00006378645,0.001105812,0.0001225247,0.00002765463,0.00006722096,0.0002749069,0.007977497,0.0009554171,0.9727517,0.004989753,0.01155482],"study_design_scores_gemma":[0.00002477471,0.00002355926,0.0004689914,0.00004358546,0.00002193676,0.00007394303,0.00004983986,0.06984067,0.0008050849,0.9256544,0.002958247,0.00003484733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2669448,0.00698017,0.6154386,0.01215978,0.0005887559,0.0002551175,0.002323805,0.001432196,0.09387681],"genre_scores_gemma":[0.9200373,0.002413702,0.05994337,0.002075612,0.0008322722,0.0005373799,0.001240898,0.0004218004,0.01249758],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01016156,"threshold_uncertainty_score":0.03399378,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02117637106723742,"score_gpt":0.2470508871430296,"score_spread":0.2258745160757922,"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."}}