{"id":"W2903828083","doi":"10.4230/lipics.icalp.2019.121","title":"Optimal Regular Expressions for Permutations","year":2018,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Permutation (music); Alphabet; Combinatorics; Mathematics; Bit-reversal permutation; Construct (python library); Expression (computer science); Regular language; Discrete mathematics; Cyclic permutation; Symmetric group; Computer science; Physics; Theoretical computer science","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.001796754,0.0006450244,0.0008656374,0.0007242506,0.001196846,0.002346071,0.001273882,0.00103873,0.00712578],"category_scores_gemma":[0.01215463,0.000727643,0.001173066,0.001045442,0.002540875,0.005131606,0.001825753,0.002072406,0.001914218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002100804,"about_ca_system_score_gemma":0.001885714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00126694,"about_ca_topic_score_gemma":0.002019676,"domain_scores_codex":[0.9961856,0.001092789,0.0003427663,0.0009913383,0.0008476301,0.0005398342],"domain_scores_gemma":[0.9899973,0.006302023,0.0006113325,0.002138921,0.0006312323,0.0003192445],"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.0007210848,0.0001655625,0.001292106,0.000328906,0.0000369674,0.0002659151,0.0007514044,0.04335721,0.01445692,0.8562911,0.01088895,0.07144386],"study_design_scores_gemma":[0.00006069751,0.00006253103,0.0001719781,0.00003942275,0.00002524228,0.0001152868,0.0001354516,0.09690603,0.00781893,0.8845125,0.010124,0.00002798279],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2993583,0.0008859947,0.6456778,0.004766985,0.00027094,0.0003169482,0.002943595,0.003890384,0.04188903],"genre_scores_gemma":[0.7122693,0.0004302303,0.2678062,0.0007456339,0.0002377598,0.0005426314,0.002363783,0.00111464,0.01448975],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00712578,"threshold_uncertainty_score":0.02383804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06957427623550301,"score_gpt":0.2017661520087513,"score_spread":0.1321918757732483,"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."}}