{"id":"W4401718857","doi":"10.1109/rew61692.2024.00014","title":"Requirements-Driven Slicing of Simulink Models using LLMs","year":2024,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Slicing; Computer science; Computer graphics (images)","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.0004191481,0.00006656411,0.00008899898,0.0001050743,0.0000350412,0.00007656053,0.0004318755,0.00003522382,0.00001166535],"category_scores_gemma":[0.00002454203,0.00005823944,0.00004056118,0.0003822129,0.00002401691,0.001083041,0.0001665414,0.00006512395,0.00001097134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005214788,"about_ca_system_score_gemma":0.0000473765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004143999,"about_ca_topic_score_gemma":6.751376e-7,"domain_scores_codex":[0.999159,0.0000444632,0.0002288464,0.0002203045,0.0002130349,0.0001343764],"domain_scores_gemma":[0.9994449,0.00004713647,0.00004182709,0.0003799675,0.00005563792,0.00003053341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001752072,0.00001441579,0.00001610726,0.00006939149,0.00001608806,0.00000334767,0.0009974325,0.1233048,0.03385114,0.8055023,0.00004605034,0.0361772],"study_design_scores_gemma":[0.00003293457,0.00001986373,0.000009547445,0.00005901437,0.000004168379,0.000003617603,0.0000156326,0.9656164,0.02159278,0.01243114,0.0001499746,0.00006489463],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01343885,0.00008537058,0.9789449,0.00006288196,0.0004487336,0.00008114725,4.765437e-7,0.0001803493,0.006757307],"genre_scores_gemma":[0.4322501,0.000004014534,0.5675986,0.00003729852,0.00001954836,0.00000108234,2.041037e-7,0.000004082973,0.00008513261],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8423117,"threshold_uncertainty_score":0.2374935,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1653595772884823,"score_gpt":0.3821323352972364,"score_spread":0.2167727580087541,"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."}}