{"id":"W4385768170","doi":"10.24963/ijcai.2023/328","title":"Can You Improve My Code? Optimizing Programs with Local Search","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; University of Alberta; Compute Canada","keywords":"Computer science; Code (set theory); Exploit; Source lines of code; Programming language; Programming paradigm; Line (geometry); Computer security; Set (abstract data type); Software; Mathematics","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.002391075,0.0008467823,0.0005035931,0.0004815969,0.0005097679,0.0008034855,0.001268706,0.0006999099,0.005288691],"category_scores_gemma":[0.01079415,0.0004727647,0.0005260056,0.0004196269,0.001199047,0.002084944,0.001259713,0.001499592,0.001427045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005519305,"about_ca_system_score_gemma":0.0009405758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001090641,"about_ca_topic_score_gemma":0.002139632,"domain_scores_codex":[0.9985594,0.0005850657,0.0000684713,0.0002877904,0.0003820713,0.0001171438],"domain_scores_gemma":[0.996786,0.00194876,0.0003081666,0.0005033909,0.000367036,0.0000867034],"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.00054919,0.0004575723,0.005025629,0.0007642624,0.0001250338,0.0002768935,0.001456668,0.2401868,0.04169588,0.05130076,0.01089825,0.647263],"study_design_scores_gemma":[0.0001630586,0.0005459756,0.0008684776,0.0001910551,0.00009548886,0.000248017,0.000364291,0.8850898,0.03856241,0.04654451,0.02727769,0.00004915425],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05113429,0.0004165145,0.9355067,0.0006863892,0.00005144901,0.00009864902,0.00004794569,0.006222247,0.005835819],"genre_scores_gemma":[0.2638649,0.0003351983,0.729151,0.0002848399,0.00003800282,0.0002077771,0.0001327624,0.001855481,0.004130212],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005288691,"threshold_uncertainty_score":0.01769245,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02602334440744724,"score_gpt":0.272104756702353,"score_spread":0.2460814122949058,"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."}}