{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004160194,0.0004080527,0.0004144392,0.000051914,0.0007706816,0.0006917515,0.0007119026,0.0002890958,0.0007107473],"category_scores_gemma":[0.00005869853,0.0001876559,0.0004121642,0.0005884609,0.0001846234,0.001073167,0.0003419805,0.0003377906,0.001482066],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007709059,"about_ca_system_score_gemma":0.00002534698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003860378,"about_ca_topic_score_gemma":0.0001079698,"domain_scores_codex":[0.9973193,0.00002271816,0.0008591712,0.0003085804,0.0004617361,0.00102851],"domain_scores_gemma":[0.9988948,0.0001689728,0.0002547836,0.0002237216,0.0001867765,0.0002709885],"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.00139195,0.002041751,0.07774394,0.0005812471,0.0004391037,0.00009057298,0.008767311,0.0005197016,0.005398553,0.002506319,0.1423458,0.7581737],"study_design_scores_gemma":[0.0009704182,0.0005157152,0.009199195,0.00004821298,0.00003464409,0.00002009971,0.001618425,0.009770293,0.0007414502,0.0000306134,0.9765232,0.0005277261],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9926667,0.00001314269,0.00007655758,0.0005208034,0.000900322,0.0008789561,0.001377792,0.0004445273,0.00312122],"genre_scores_gemma":[0.9915946,0.00002908576,0.001466672,0.0008381003,0.0004686363,0.0001781536,0.002371711,0.000007701997,0.003045397],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8341774,"threshold_uncertainty_score":0.9992954,"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."}}