Agentic Taxation Optimization via LLM SMT-Constraint Reasoning
Source: https://ah.lib.nccu.edu.tw/item?item_id=181260 Parent: https://ah.lib.nccu.edu.tw/browse-item
學術產出-會議論文
文章檢視/開啟
書目匯出
Google ScholarTM
政大圖書館
引文資訊
TAIR相關學術產出
| 題名 | Agentic Taxation Optimization via LLM SMT-Constraint Reasoning |
| 作者 | 郁方 Hwang, Ting Chien;Yu, Fang;Jiang, Jie-Hong Roland |
| 貢獻者 | 資管系 |
| 日期 | 2026-04 |
| 上傳時間 | 11-二月-2026 09:26:49 (UTC+8) |
| 關聯 | 48th International Conference on Software Engineering (ICSE 2026 SEIP), IEEE/ACM SIGSOFT |
| 資料類型 | conference |
| dc.contributor | 資管系 | |
| dc.creator (作者) | 郁方 | |
| dc.creator (作者) | Hwang, Ting Chien;Yu, Fang;Jiang, Jie-Hong Roland | |
| dc.date (日期) | 2026-04 | |
| dc.date.accessioned | 11-二月-2026 09:26:49 (UTC+8) | - |
| dc.date.available | 11-二月-2026 09:26:49 (UTC+8) | - |
| dc.date.issued (上傳時間) | 11-二月-2026 09:26:49 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/161668 | - |
| dc.format.extent | 91082 bytes | - |
| dc.format.mimetype | application/pdf | - |
| dc.relation (關聯) | 48th International Conference on Software Engineering (ICSE 2026 SEIP), IEEE/ACM SIGSOFT | |
| dc.title (題名) | Agentic Taxation Optimization via LLM SMT-Constraint Reasoning | |
| dc.type (資料類型) | conference |