{"id":"W2904101382","doi":"10.1007/978-3-030-30281-8_10","title":"Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input","year":2019,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Margin (machine learning); Computer science; Discretization; Key (lock); Tree (set theory); Feature (linguistics); Las vegas; Hybrid system; Artificial intelligence; Algorithm; Theoretical computer science; Mathematics; Machine learning","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"medium","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"low","status":"direct model label, unvalidated"}],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005613825,0.001326216,0.001369096,0.000943421,0.000775918,0.002080685,0.001864703,0.001447002,0.005639518],"category_scores_gemma":[0.02068994,0.0007653721,0.001670737,0.0004875326,0.003022466,0.003370386,0.004558063,0.002561256,0.0005709034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001116374,"about_ca_system_score_gemma":0.001248808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008033848,"about_ca_topic_score_gemma":0.0008948909,"domain_scores_codex":[0.994213,0.001733853,0.0002747703,0.0008133305,0.002302423,0.0006625088],"domain_scores_gemma":[0.9728741,0.02008534,0.001178417,0.003930301,0.001607211,0.0003246642],"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.003277604,0.0002156881,0.003564651,0.0008428046,0.0002879769,0.00132928,0.0009182288,0.5560809,0.05529553,0.2278523,0.00180077,0.1485343],"study_design_scores_gemma":[0.00008580175,0.0001496041,0.0002421024,0.0000428867,0.00004453714,0.0001136135,0.00004393875,0.864302,0.02397631,0.1102555,0.0007138826,0.00002974584],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05874596,0.00009891853,0.9361402,0.0002176485,0.0000843858,0.00006855546,0.00006005185,0.002470567,0.002113778],"genre_scores_gemma":[0.9085305,0.00005744035,0.08945494,0.00008690249,0.00003438527,0.00008752612,0.00008724045,0.0002763834,0.001384777],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005639518,"threshold_uncertainty_score":0.02968907,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05059250578223105,"score_gpt":0.3049642944555652,"score_spread":0.2543717886733342,"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."}}