{"id":"W4315606097","doi":"10.1145/3571203","title":"On the Expressive Power of String Constraints","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Deutsche Forschungsgemeinschaft","keywords":"String (physics); Concatenation (mathematics); Mathematics; Property (philosophy); Regular language; Formal language; Syntax; Set (abstract data type); Formal grammar; Discrete mathematics; Pure mathematics; Computer science; Algebra over a field; Combinatorics; Theoretical computer science; Algorithm; Rule-based machine translation; Artificial intelligence; Programming language","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.0006592473,0.0001231612,0.0001515284,0.00009559289,0.0001231863,0.0000982751,0.003185919,0.0000457869,0.00001291035],"category_scores_gemma":[0.002714488,0.00007124585,0.00009330002,0.0006426664,0.0002984416,0.0001318503,0.001014366,0.0001899889,0.00001494357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001774036,"about_ca_system_score_gemma":0.00002202821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008378899,"about_ca_topic_score_gemma":3.135799e-7,"domain_scores_codex":[0.9987943,0.0000157109,0.0002329411,0.0002650514,0.0004622605,0.0002297483],"domain_scores_gemma":[0.9980921,0.0006479985,0.0002899284,0.0007518021,0.0001869734,0.00003120339],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001232311,0.00009409587,0.001000141,0.0000983053,0.00003743865,7.117403e-7,0.01433881,0.00001056528,0.02187053,0.9307035,0.003466088,0.02836749],"study_design_scores_gemma":[0.0003941184,0.0002859853,0.004357474,0.0005010834,0.00001499579,0.000007990785,0.02005293,0.0001871849,0.8741045,0.09770289,0.00209599,0.000294874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9911826,0.00003308581,0.00007476861,0.005528062,0.00006827524,0.0004751768,0.000005348529,0.0002189319,0.002413781],"genre_scores_gemma":[0.9962618,0.000002576909,0.003331293,0.0001520564,0.0000187066,0.0000891726,3.483968e-7,0.00001021748,0.0001337769],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8522339,"threshold_uncertainty_score":0.5920283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01940751461595399,"score_gpt":0.2728039704731813,"score_spread":0.2533964558572274,"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."}}