年度	2025
全部作者	郁方
论文名称	Ting Chien Hwang*;Fang Yu*;Jie-Hong Roland Jiang, 2025.12, 'Agentic Taxation Optimization via LLM SMT-Constraint Reasoning, ' the 48th IEEE/ACM International Software Engineering Conference (ICSE 2026 SEIP), IEEE/ACM SIGSOFT.(ACM, DBLP, IEEE)(*为通讯作者)
发表日期	2025-12-01
ISI Number	143299