{"id":"W4376504252","doi":"10.1007/s00037-023-00236-x","title":"Schur Polynomials Do Not Have Small Formulas If the Determinant does not","year":2023,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Advanced Combinatorial Mathematics","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Combinatorics; Algebra over a field; Pure 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.0009489057,0.001035438,0.001291531,0.002186187,0.001558981,0.003226437,0.001534937,0.001496407,0.01171251],"category_scores_gemma":[0.01004105,0.000550397,0.0007615983,0.001355617,0.004762293,0.006220635,0.002021319,0.002407988,0.00194228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007335127,"about_ca_system_score_gemma":0.0008029519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005789086,"about_ca_topic_score_gemma":0.0011057,"domain_scores_codex":[0.9986738,0.000204542,0.00006545915,0.000242647,0.0004491144,0.0003645444],"domain_scores_gemma":[0.9920438,0.004427466,0.0006641374,0.00111457,0.0009994464,0.0007506195],"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.0001853003,0.0001091277,0.001392651,0.00009906478,0.00002391552,0.0004342126,0.0003009714,0.000739975,0.006112723,0.9703761,0.003737037,0.0164889],"study_design_scores_gemma":[0.00004454789,0.00005270474,0.0008328216,0.00001344874,0.00001985212,0.0004682753,0.0001327416,0.006038043,0.003965147,0.9861466,0.002250353,0.00003557329],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7258271,0.0004479367,0.1300093,0.003177681,0.0006052855,0.0001478209,0.0005317563,0.001475542,0.1377776],"genre_scores_gemma":[0.9797861,0.0001276415,0.008520681,0.0003988549,0.0002069757,0.00008669634,0.0002926713,0.0001939593,0.01038637],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01171251,"threshold_uncertainty_score":0.03918231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1721085439913326,"score_gpt":0.366638139190427,"score_spread":0.1945295951990944,"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."}}