{"id":"W4407848466","doi":"10.1145/3696443.3708929","title":"LLM-Vectorizer: LLM-Based Verified Loop Vectorizer","year":2025,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Loop (graph theory); 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.002532414,0.002421226,0.0006758574,0.001480139,0.0007159417,0.00148802,0.003691572,0.00116095,0.007756549],"category_scores_gemma":[0.01042533,0.001003913,0.001482142,0.0008891158,0.001492327,0.003635349,0.002051514,0.001912625,0.003277597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00127978,"about_ca_system_score_gemma":0.003965021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0055544,"about_ca_topic_score_gemma":0.01103225,"domain_scores_codex":[0.9971552,0.000691086,0.000259101,0.0006774633,0.0009478353,0.0002692252],"domain_scores_gemma":[0.9943208,0.00186065,0.0005057325,0.002137689,0.001067659,0.0001075164],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002449574,0.0006824299,0.02907348,0.00230314,0.0005063502,0.0006370624,0.0005886944,0.223748,0.05869945,0.0271696,0.1574684,0.4966738],"study_design_scores_gemma":[0.0003944359,0.0005365126,0.001741151,0.0001321419,0.00009847449,0.0002136242,0.0001094457,0.8694706,0.07971021,0.0162104,0.03130767,0.00007539825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08015472,0.00149013,0.5614663,0.0006392311,0.000505496,0.0004354835,0.006066191,0.3414695,0.007772919],"genre_scores_gemma":[0.4134844,0.0004119018,0.5400698,0.0007961137,0.0001020709,0.0005737506,0.0236905,0.01543026,0.005441256],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007756549,"threshold_uncertainty_score":0.02594829,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01135917084594731,"score_gpt":0.2628349492782115,"score_spread":0.2514757784322642,"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."}}