{"id":"W3161409247","doi":"10.1007/978-3-030-81688-9_14","title":"An SMT Solver for Regular Expressions and Linear Arithmetic over String Length","year":2021,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Defense Advanced Research Projects Agency; Deutsche Forschungsgemeinschaft; National Science Foundation","keywords":"Speedup; Computer science; String (physics); Heuristics; Benchmark (surveying); Solver; Regular expression; Parallel computing; Algorithm; Theoretical computer science; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001556609,0.001176355,0.0007399769,0.001145735,0.000655127,0.001960081,0.00222169,0.001086989,0.0171421],"category_scores_gemma":[0.005938817,0.0006327629,0.002083317,0.002175529,0.001039522,0.002494679,0.002036081,0.002039828,0.003266103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001928692,"about_ca_system_score_gemma":0.003994509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004900687,"about_ca_topic_score_gemma":0.009319544,"domain_scores_codex":[0.9982962,0.0004152591,0.0001279519,0.0003072213,0.0006220083,0.000231364],"domain_scores_gemma":[0.99708,0.002035886,0.0001852513,0.0003076548,0.0003248807,0.00006626621],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004766146,0.0003397301,0.002591584,0.001634948,0.0001661717,0.0004429713,0.0003662469,0.3211049,0.01264175,0.2555297,0.06121388,0.3434915],"study_design_scores_gemma":[0.0002421324,0.0000758418,0.0002824001,0.00009026816,0.00005562108,0.0001636175,0.0001471226,0.8658103,0.01558365,0.09065252,0.02687141,0.00002511916],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0369337,0.0005325748,0.9009076,0.00138504,0.0002152831,0.0002794352,0.003096341,0.02629389,0.03035621],"genre_scores_gemma":[0.1840355,0.0003382881,0.7983919,0.000485731,0.0001059995,0.000304596,0.003776639,0.002472653,0.01008861],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0171421,"threshold_uncertainty_score":0.05734599,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02201155295383307,"score_gpt":0.3005247582717278,"score_spread":0.2785132053178947,"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."}}