{"id":"W4410519228","doi":"10.1145/3736411","title":"FLAG: <u>F</u> inding <u>L</u> ine <u>A</u> nomalies (in RTL code) with <u>G</u> enerative AI","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Flag (linear algebra); Computer science; Code (set theory); Parallel computing; Programming language; Algebra over a field; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007277188,0.0003141814,0.0004616049,0.001284794,0.0002057972,0.0001220831,0.0008889184,0.0001719186,0.00001230007],"category_scores_gemma":[0.00007170616,0.0002969909,0.00008046031,0.002088641,0.00007391623,0.0009840002,0.00001693979,0.0004469291,0.0000104947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000763236,"about_ca_system_score_gemma":0.0004748081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008904278,"about_ca_topic_score_gemma":0.0001415559,"domain_scores_codex":[0.9974047,0.0003801871,0.0007252789,0.0005828972,0.0004163896,0.0004905775],"domain_scores_gemma":[0.99786,0.0005148586,0.0003170735,0.0009871086,0.0002695527,0.00005144797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005154784,0.0008769442,0.0002173631,0.0004550865,0.0005422948,0.00002709345,0.002764755,0.6459645,0.04185758,0.2213317,0.0005041939,0.08494299],"study_design_scores_gemma":[0.002190953,0.002172991,0.0004551938,0.001056804,0.00005584179,0.00009872131,0.0003310657,0.4327054,0.5452016,0.01324964,0.001736231,0.0007455797],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00320512,0.0002180329,0.9934869,0.0006451779,0.0002331438,0.001091483,0.000004630648,0.0008041813,0.0003112885],"genre_scores_gemma":[0.9395658,0.0000443991,0.05890155,0.0001161027,0.00001291338,0.0005684731,0.000002809788,0.00002171478,0.0007662802],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9363607,"threshold_uncertainty_score":0.9999482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01256107005848065,"score_gpt":0.2705259506802324,"score_spread":0.2579648806217518,"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."}}