{"id":"W4301181330","doi":"10.1007/s10009-022-00684-w","title":"Analysis of recurrent neural networks via property-directed verification of surrogate models","year":2022,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Campus France; Universität zu Lübeck; Deutsche Forschungsgemeinschaft; Deutscher Akademischer Austauschdienst","keywords":"Recurrent neural network; Property (philosophy); Computer science; Robustness (evolution); Automaton; Counterexample; Artificial intelligence; Model checking; Artificial neural network; Algorithm; Theoretical computer science; Machine learning; Mathematics","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.0005193643,0.0001515386,0.0003603492,0.00125734,0.0001709951,0.00004624073,0.001824164,0.000101327,0.00004396903],"category_scores_gemma":[0.0002066654,0.0001278987,0.0003172487,0.001282198,0.00008455566,0.0004730764,0.000148287,0.0006540117,2.987541e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001540795,"about_ca_system_score_gemma":0.00005998956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007549767,"about_ca_topic_score_gemma":0.000003360923,"domain_scores_codex":[0.9981108,0.0001305738,0.000632506,0.0003115785,0.0006085248,0.0002059882],"domain_scores_gemma":[0.9984953,0.0002507551,0.0002689445,0.0003161065,0.0006310624,0.00003785234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002107846,0.0001555903,0.001307393,0.0000037197,0.0007426318,0.000009265685,0.0001424254,0.8112248,0.0002234916,0.01099177,0.0000188879,0.1749692],"study_design_scores_gemma":[0.0007209505,0.0003899998,0.0006859642,0.00001629326,0.0001549268,0.00003714604,0.00002526273,0.9944656,0.0004875317,0.002392022,0.0004859692,0.0001382998],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06345631,0.00007420087,0.9338502,0.001243362,0.0009163246,0.0001978419,0.00004522561,0.0002028853,0.00001365628],"genre_scores_gemma":[0.9772342,0.00002596323,0.0224792,0.00008321257,0.0000348112,0.00005958239,0.00004668993,0.00001530914,0.00002106022],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9137779,"threshold_uncertainty_score":0.5215557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02640946674467211,"score_gpt":0.2762155736869909,"score_spread":0.2498061069423188,"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."}}