{"id":"W7125932364","doi":"10.1109/ase63991.2025.00188","title":"Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction","year":2025,"lang":"","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Debugging; Reduction (mathematics); Compiler; Rewriting; Matching (statistics); Program transformation; Bridge (graph theory); Transformation (genetics)","routes":{"ca_aff":true,"ca_fund":true,"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.003084384,0.002053275,0.001194724,0.001874809,0.0008459323,0.002501146,0.004187283,0.0014994,0.01056779],"category_scores_gemma":[0.007832921,0.001494277,0.003152471,0.001149676,0.002449583,0.00424308,0.003690163,0.004139157,0.006962793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00124444,"about_ca_system_score_gemma":0.003874402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003459882,"about_ca_topic_score_gemma":0.005375805,"domain_scores_codex":[0.9956728,0.0008623762,0.0004843817,0.0008218641,0.001827196,0.0003314458],"domain_scores_gemma":[0.9957798,0.001395916,0.0003150251,0.001767804,0.0006208376,0.0001207005],"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.0007203771,0.0004956212,0.00397064,0.0022344,0.0003360289,0.0008206051,0.001332157,0.07068326,0.1115839,0.158336,0.08276361,0.5667235],"study_design_scores_gemma":[0.0002221318,0.000358513,0.0009923214,0.0002938439,0.0002343333,0.001149146,0.0002354902,0.4300112,0.1612833,0.1254053,0.2795457,0.0002688946],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002505679,0.000246736,0.9110284,0.0001745679,0.00006705736,0.000195973,0.0004912794,0.08230831,0.002981985],"genre_scores_gemma":[0.05707817,0.0004328421,0.9037313,0.0004871822,0.0000750219,0.0006513535,0.003368863,0.02781293,0.006362422],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01056779,"threshold_uncertainty_score":0.03535277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01344093711718087,"score_gpt":0.2985030724920598,"score_spread":0.2850621353748789,"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."}}