{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004775059,0.0008299035,0.0007961736,0.000807579,0.0004134353,0.001276935,0.00165899,0.0013166,0.002656629],"category_scores_gemma":[0.03341283,0.0005593544,0.001625324,0.0002607785,0.002576875,0.001972211,0.002040269,0.001735813,0.0002845784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001209691,"about_ca_system_score_gemma":0.001561756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001769911,"about_ca_topic_score_gemma":0.001700629,"domain_scores_codex":[0.9962585,0.001445164,0.0002067743,0.0005924396,0.001171551,0.0003255167],"domain_scores_gemma":[0.9767934,0.01600358,0.002074891,0.002816994,0.00202015,0.0002910112],"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.0001163632,0.00003980771,0.00187844,0.00009065754,0.00005456866,0.0002744865,0.0001039042,0.9285862,0.006778928,0.05475234,0.000238951,0.007085307],"study_design_scores_gemma":[0.000004639983,0.00002087133,0.00004697815,0.00000728353,0.000004781997,0.00001656029,0.000005363075,0.9838715,0.002261235,0.01366635,0.00009029517,0.000004182551],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06368891,0.00005560926,0.9337915,0.0001594809,0.00002577827,0.00005621788,0.0001029926,0.0008900533,0.001229426],"genre_scores_gemma":[0.937476,0.00004504648,0.06125459,0.00006144728,0.00001057531,0.0001091365,0.0001576109,0.0001567554,0.0007288713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004775059,"threshold_uncertainty_score":0.02525324,"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."}}