{"id":"W4392266008","doi":"10.1109/cgo57630.2024.10444879","title":"Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation","year":2024,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; ENCODE; Compiler; Natural language processing; Set (abstract data type); Artificial intelligence; Speedup; Programming language; Language model; Minimalist program; Matching (statistics); Parallel computing; Syntax","routes":{"ca_aff":true,"ca_fund":true,"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.001056995,0.000585685,0.0004051897,0.0006016544,0.0006040558,0.001411296,0.001484342,0.000549448,0.006608446],"category_scores_gemma":[0.002765693,0.0005435593,0.001250994,0.0002990898,0.001659811,0.002382734,0.001908619,0.001898977,0.00204649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001060064,"about_ca_system_score_gemma":0.001656346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001561206,"about_ca_topic_score_gemma":0.003265445,"domain_scores_codex":[0.99896,0.0002041739,0.0001001065,0.0002645467,0.0003299941,0.0001411341],"domain_scores_gemma":[0.9986005,0.0005795807,0.0001158236,0.0003760378,0.0002843977,0.00004358811],"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.0004173591,0.0001696273,0.003125414,0.0006850985,0.00006684911,0.0005384206,0.001653997,0.0383462,0.1224203,0.5672616,0.01323509,0.2520801],"study_design_scores_gemma":[0.00005805334,0.0002187818,0.0006320882,0.0001025966,0.00007457652,0.0006399332,0.0002791883,0.5108106,0.1605725,0.2730498,0.05346424,0.00009761031],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01527811,0.00004738457,0.9756569,0.0001953504,0.00003553045,0.00006935962,0.0001507074,0.005214943,0.003351748],"genre_scores_gemma":[0.2900041,0.00009220714,0.7003414,0.0003411132,0.00005277467,0.0001825066,0.0005491168,0.001868502,0.006568267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006608446,"threshold_uncertainty_score":0.02210748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08493101923587307,"score_gpt":0.3235527454138313,"score_spread":0.2386217261779583,"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."}}