{"id":"W4414558358","doi":"","title":"Theory of arrays, high-performance code generation. Denotational semantics and mathematical problems","year":2025,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Evolutionary Algorithms and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Denotational semantics; Semantics (computer science); Algebra over a field; Denotational semantics of the Actor model; Domain theory; Code (set theory); Calculus (dental)","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":[],"consensus_categories":[],"category_scores_codex":[0.0004973713,0.0001521899,0.0001960913,0.0002076086,0.000245221,0.00009039621,0.0004689791,0.0001051944,0.00000809972],"category_scores_gemma":[0.00005766218,0.0001459998,0.00004122841,0.0004945257,0.0001235915,0.0003497571,0.0002041126,0.0001540532,0.000004705701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007605727,"about_ca_system_score_gemma":0.0001888556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007751137,"about_ca_topic_score_gemma":0.00004158752,"domain_scores_codex":[0.9987823,0.00006160118,0.0003869008,0.0003032322,0.0002224569,0.0002434434],"domain_scores_gemma":[0.9989508,0.0001546381,0.0001331671,0.0005306434,0.0001507945,0.0000799198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003371352,0.0001386257,0.001702225,0.00005631994,0.00002338167,8.593029e-7,0.0001192714,0.007131196,0.006244373,0.9754984,0.0005393181,0.008542698],"study_design_scores_gemma":[0.0002080771,0.00004013421,0.01842068,0.00005256053,0.00001518831,0.00002498326,0.00001567348,0.811693,0.01086063,0.1582194,0.0003065541,0.0001431825],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07649354,0.0005093457,0.9180546,0.004088574,0.00004419704,0.0003643066,0.00001736478,0.0001758281,0.0002521778],"genre_scores_gemma":[0.6030682,0.0001262777,0.395656,0.0003805367,0.000031384,0.0002147402,0.00001102965,0.000007619509,0.0005041854],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.817279,"threshold_uncertainty_score":0.5953699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01126995616085509,"score_gpt":0.2242161834601893,"score_spread":0.2129462272993343,"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."}}