{"id":"W4414699161","doi":"10.4230/lipics.itcs.2026.9","title":"On Closure Properties of Read-Once Oblivious Algebraic Branching Programs","year":2025,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Université Savoie Mont Blanc; Bhabha Atomic Research Centre; Agence Nationale de la Recherche; Villum Fonden","keywords":"Symmetric polynomial; Polynomial; Branching (polymer chemistry); Difference polynomials; Algebraic number; Elementary symmetric polynomial; Exponential function; Sequence (biology); Lift (data mining)","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.004052742,0.0007469284,0.001449859,0.001093629,0.001893274,0.004014465,0.001786294,0.001119556,0.003472764],"category_scores_gemma":[0.02542284,0.0005652797,0.00221678,0.001152612,0.006079069,0.01190757,0.003973134,0.004741256,0.0003107897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003150421,"about_ca_system_score_gemma":0.001939545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001957249,"about_ca_topic_score_gemma":0.0009140025,"domain_scores_codex":[0.9960021,0.0007276653,0.0002436609,0.000953157,0.001068003,0.001005421],"domain_scores_gemma":[0.9691935,0.02195038,0.00299963,0.002679573,0.001373362,0.001803479],"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.001453605,0.0006726086,0.007489522,0.0004149296,0.00009137191,0.001213258,0.003510368,0.04249904,0.02642058,0.8812338,0.001382568,0.03361841],"study_design_scores_gemma":[0.0002215127,0.0004372616,0.001564801,0.00009133024,0.00008861288,0.0006899009,0.0005625756,0.1145886,0.01551975,0.8633494,0.002813936,0.00007228214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7703826,0.000746775,0.2097891,0.001578101,0.00005820112,0.0002052778,0.0005922993,0.001148503,0.01549916],"genre_scores_gemma":[0.9676362,0.0003843748,0.02818923,0.0002678236,0.00009739649,0.0002180682,0.0006222266,0.0002664706,0.0023181],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004052742,"threshold_uncertainty_score":0.02285796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04169909323450253,"score_gpt":0.2504516048642412,"score_spread":0.2087525116297387,"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."}}