{"id":"W4221140780","doi":"10.48550/arxiv.2202.01594","title":"Approximate NFA Universality and Related Problems Motivated by Information Theory","year":2022,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Universality (dynamical systems); Mathematics; Discrete mathematics; Automaton; Probability of error; Combinatorics; Computer science; Algorithm; 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.006711651,0.0008404003,0.001745738,0.001181302,0.00192881,0.003655288,0.003214606,0.003056573,0.004490744],"category_scores_gemma":[0.0534035,0.0009478556,0.002835982,0.001584512,0.008844684,0.01224264,0.003977352,0.006449526,0.000511459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003840007,"about_ca_system_score_gemma":0.002080058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002539768,"about_ca_topic_score_gemma":0.001843587,"domain_scores_codex":[0.9898959,0.00370155,0.0006370487,0.002980873,0.001766671,0.001017929],"domain_scores_gemma":[0.9163564,0.06946068,0.002825059,0.008675453,0.001680485,0.001001911],"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.0005106248,0.0001992263,0.004816893,0.0004538236,0.0001140101,0.0002732941,0.0009506561,0.09965581,0.004282109,0.8509466,0.002021833,0.03577513],"study_design_scores_gemma":[0.00003401383,0.00005580738,0.0004274316,0.00004344071,0.00003005474,0.0001539511,0.0001408684,0.1272832,0.002965982,0.8677226,0.001112406,0.0000301635],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1871577,0.001062015,0.7972803,0.005552288,0.0001194588,0.0001828138,0.0005104493,0.001287092,0.006848031],"genre_scores_gemma":[0.8720284,0.0005500623,0.1227268,0.0007488093,0.0002367145,0.0002418037,0.000575809,0.0002678855,0.002623741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006711651,"threshold_uncertainty_score":0.03549498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02286182550764978,"score_gpt":0.1541757976136197,"score_spread":0.13131397210597,"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."}}