{"id":"https://openalex.org/W4411534708","doi":"https://doi.org/10.1007/s44443-025-00074-7","title":"Integrating LLM-based code optimization with human-like exclusionary reasoning for computational education","display_name":"Integrating LLM-based code optimization with human-like exclusionary reasoning for computational education","publication_year":2025,"publication_date":"2025-06-23","ids":{"openalex":"https://openalex.org/W4411534708","doi":"https://doi.org/10.1007/s44443-025-00074-7"},"language":"en","primary_location":{"id":"doi:10.1007/s44443-025-00074-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44443-025-00074-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44443-025-00074-7.pdf","source":{"id":"https://openalex.org/S2764955546","display_name":"Journal of King Saud University - Computer and Information Sciences","issn_l":"1319-1578","issn":["1319-1578","2213-1248"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of King Saud University Computer and Information Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/s44443-025-00074-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099591509","display_name":"Yi Rong","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I253932293","display_name":"Anhui University of Traditional Chinese Medicine","ror":"https://ror.org/0139j4p80","country_code":"CN","type":"education","lineage":["https://openalex.org/I253932293"]}],"countries":["AU","CN"],"is_corresponding":true,"raw_author_name":"Yi Rong","raw_affiliation_strings":["Anhui University of Chinese Medicine, Hefei, China","The University of New South Wales School of Education, Kensington, Australia"],"affiliations":[{"raw_affiliation_string":"Anhui University of Chinese Medicine, Hefei, China","institution_ids":["https://openalex.org/I253932293"]},{"raw_affiliation_string":"The University of New South Wales School of Education, Kensington, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118591059","display_name":"Tianfeng Du","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108633","display_name":"Aba Teachers University","ror":"https://ror.org/01gqdjc98","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210108633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianfeng Du","raw_affiliation_strings":["School of Tibetan-Chinese Bilingual Education, Aba Teachers College, Sichuan, China"],"affiliations":[{"raw_affiliation_string":"School of Tibetan-Chinese Bilingual Education, Aba Teachers College, Sichuan, China","institution_ids":["https://openalex.org/I4210108633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111937833","display_name":"Ruiteng Li","orcid":null},"institutions":[{"id":"https://openalex.org/I253932293","display_name":"Anhui University of Traditional Chinese Medicine","ror":"https://ror.org/0139j4p80","country_code":"CN","type":"education","lineage":["https://openalex.org/I253932293"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Roubing Li","raw_affiliation_strings":["Anhui University of Chinese Medicine, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Anhui University of Chinese Medicine, Hefei, China","institution_ids":["https://openalex.org/I253932293"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048212629","display_name":"Wenting Bao","orcid":"https://orcid.org/0009-0006-5695-3187"},"institutions":[{"id":"https://openalex.org/I253932293","display_name":"Anhui University of Traditional Chinese Medicine","ror":"https://ror.org/0139j4p80","country_code":"CN","type":"education","lineage":["https://openalex.org/I253932293"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenting Bao","raw_affiliation_strings":["Anhui University of Chinese Medicine, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Anhui University of Chinese Medicine, Hefei, China","institution_ids":["https://openalex.org/I253932293"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5099591509"],"corresponding_institution_ids":["https://openalex.org/I253932293","https://openalex.org/I31746571"],"apc_list":{"value":1350,"currency":"USD","value_usd":1350},"apc_paid":{"value":1350,"currency":"USD","value_usd":1350},"fwci":3.1375,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92118644,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"37","issue":"5","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.972100019454956,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.972100019454956,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9697999954223633,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.96670001745224,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.588689386844635},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.553542971611023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41827985644340515}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.588689386844635},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.553542971611023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41827985644340515},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s44443-025-00074-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44443-025-00074-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44443-025-00074-7.pdf","source":{"id":"https://openalex.org/S2764955546","display_name":"Journal of King Saud University - Computer and Information Sciences","issn_l":"1319-1578","issn":["1319-1578","2213-1248"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of King Saud University Computer and Information Sciences","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ce08836188644ba6a9ae23712331856b","is_oa":true,"landing_page_url":"https://doaj.org/article/ce08836188644ba6a9ae23712331856b","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of King Saud University: Computer and Information Sciences, Vol 37, Iss 5, Pp 1-14 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s44443-025-00074-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s44443-025-00074-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s44443-025-00074-7.pdf","source":{"id":"https://openalex.org/S2764955546","display_name":"Journal of King Saud University - Computer and Information Sciences","issn_l":"1319-1578","issn":["1319-1578","2213-1248"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of King Saud University Computer and Information Sciences","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411534708.pdf","grobid_xml":"https://content.openalex.org/works/W4411534708.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W1988075333","https://openalex.org/W2019257047","https://openalex.org/W2058201858","https://openalex.org/W2120629476","https://openalex.org/W2324348018","https://openalex.org/W2350778671","https://openalex.org/W2701942770","https://openalex.org/W2794695798","https://openalex.org/W2940741613","https://openalex.org/W2963562081","https://openalex.org/W2964510705","https://openalex.org/W3123221944","https://openalex.org/W3134822068","https://openalex.org/W4211263275","https://openalex.org/W4229456833","https://openalex.org/W4255726755","https://openalex.org/W4256231703","https://openalex.org/W4312900476","https://openalex.org/W4383751923","https://openalex.org/W4388212670","https://openalex.org/W4388447745","https://openalex.org/W4389966389","https://openalex.org/W4394745858","https://openalex.org/W4399567378","https://openalex.org/W4400321729","https://openalex.org/W4400583006","https://openalex.org/W4401508141","https://openalex.org/W4401879194","https://openalex.org/W4403919220","https://openalex.org/W4404871640","https://openalex.org/W4406221650","https://openalex.org/W4406260349","https://openalex.org/W4407786855","https://openalex.org/W4407937934","https://openalex.org/W4413081678","https://openalex.org/W6600031136","https://openalex.org/W6600100092","https://openalex.org/W6600292188","https://openalex.org/W6600297719","https://openalex.org/W6600341180","https://openalex.org/W6600351811","https://openalex.org/W6600438464","https://openalex.org/W6600891728","https://openalex.org/W6601141708","https://openalex.org/W6602680078","https://openalex.org/W6604048828","https://openalex.org/W6606191167","https://openalex.org/W6609741587","https://openalex.org/W6633246985","https://openalex.org/W6810816706","https://openalex.org/W7035904466"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"are":[4],"increasingly":[5],"deployed":[6],"as":[7],"intelligent":[8],"tutors":[9],"that":[10,40,141,174],"not":[11],"only":[12,95],"generate":[13],"but":[14],"also":[15],"refine":[16],"source":[17],"code":[18,87,167],"for":[19,148],"educational":[20],"purposes.":[21],"Yet":[22],"existing":[23],"end-to-end":[24],"fine-tuning":[25],"strategies":[26],"compel":[27],"models":[28,110],"to":[29,150],"transform":[30],"every":[31],"input,":[32],"often":[33],"introducing":[34],"superfluous":[35],"or":[36],"even":[37],"detrimental":[38],"edits":[39],"undermine":[41],"both":[42,143],"software":[43],"quality":[44],"and":[45,91,111,122,146,179],"pedagogical":[46],"clarity.":[47],"We":[48],"address":[49],"this":[50],"limitation":[51],"by":[52],"formulating":[53],"exclusionary":[54],"reasoning-the":[55],"human":[56,157],"practice":[57],"of":[58,108,183],"asking":[59],"\u201cShould":[60],"I":[61],"optimize?\u201d":[62],"before":[63],"acting-as":[64],"an":[65,81],"explicit":[66],"decision":[67],"layer":[68],"in":[69,79,132],"the":[70,100,160],"code-optimization":[71],"pipeline.":[72],"Concretely,":[73],"we":[74],"devise":[75],"a":[76,86,106],"two-stage":[77],"framework":[78,162],"which":[80],"LLM":[82],"first":[83],"diagnoses":[84],"whether":[85],"segment":[88],"merits":[89],"modification":[90],"proceeds":[92],"with":[93,113,156],"optimization":[94,155],"when":[96],"necessary,":[97],"otherwise":[98],"returning":[99],"original":[101],"snippet":[102],"verbatim.":[103],"Implemented":[104],"on":[105,125],"suite":[107],"open-source":[109],"trained":[112],"publicly":[114],"available":[115],"Python":[116],"corpora,":[117],"our":[118],"method":[119],"proves":[120],"model-agnostic":[121],"lightweight.":[123],"Experiments":[124],"three":[126],"standard":[127],"benchmarks":[128],"show":[129],"consistent":[130],"gains":[131],"functional":[133],"correctness":[134],"(pass@1/3/5)":[135],"over":[136],"conventional":[137],"fine-tuning,":[138],"yielding":[139],"feedback":[140],"is":[142],"more":[144],"accurate":[145],"easier":[147],"students":[149],"interpret.":[151],"By":[152],"aligning":[153],"automated":[154],"selective":[158],"judgment,":[159],"proposed":[161],"transforms":[163],"LLMs":[164],"from":[165],"indiscriminate":[166],"generators":[168],"into":[169],"credible":[170],"virtual":[171],"teaching":[172],"assistants":[173],"intervene":[175],"sparingly,":[176],"explain":[177],"clearly,":[178],"foster":[180],"deeper":[181],"learning":[182],"principled":[184],"programming":[185],"practices.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}