{"id":"W6948520361","doi":"10.4230/lipics.ccc.2023.15","title":"Near-Optimal Set-Multilinear Formula Lower Bounds","year":2023,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Diptera species taxonomy and behavior","field":"Agricultural and Biological Sciences","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Iterated function; Upper and lower bounds; Polynomial; Algebraic number; Branching (polymer chemistry); Matrix multiplication; Field (mathematics)","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.005459238,0.002398148,0.002275898,0.002236426,0.00219166,0.007021102,0.00501565,0.002018191,0.01678064],"category_scores_gemma":[0.04048683,0.001380727,0.003252451,0.00266925,0.003368661,0.01959785,0.008677532,0.01232855,0.00436748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005081888,"about_ca_system_score_gemma":0.003840604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001845749,"about_ca_topic_score_gemma":0.003324634,"domain_scores_codex":[0.9858576,0.001988065,0.0006586906,0.002854718,0.005991332,0.002649548],"domain_scores_gemma":[0.9571487,0.02939889,0.001664684,0.007511047,0.002908431,0.001368236],"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.001903186,0.0006611863,0.005289546,0.001654583,0.0002846048,0.0004707805,0.001011326,0.07733434,0.02979219,0.6829816,0.03334825,0.1652685],"study_design_scores_gemma":[0.0001316887,0.0002031116,0.0006388361,0.0001547038,0.0002063273,0.0002987618,0.0001220233,0.219061,0.01233447,0.7530608,0.01371912,0.00006909986],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1132632,0.006695113,0.7876429,0.01276323,0.0008801261,0.0003262622,0.002087713,0.007932059,0.06840934],"genre_scores_gemma":[0.6596134,0.002565214,0.3092496,0.004698548,0.00156365,0.0006277586,0.002780805,0.002748216,0.01615276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01678064,"threshold_uncertainty_score":0.05613685,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03232855871307194,"score_gpt":0.2576378728893339,"score_spread":0.2253093141762619,"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."}}