Year	2025
Authors	FANG YU
Paper Title	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)(*為通訊作者)
Date of Publication	2025-12-01
ISI Number	143299