{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:11:53Z","timestamp":1783764713580,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100020950","name":"National Science and Technology Council","doi-asserted-by":"publisher","award":["113-2221-E-004-010-MY2"],"award-info":[{"award-number":["113-2221-E-004-010-MY2"]}],"id":[{"id":"10.13039\/501100020950","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100020950","name":"National Science and Technology Council","doi-asserted-by":"publisher","award":["114-2221-E-002-183-MY3"],"award-info":[{"award-number":["114-2221-E-002-183-MY3"]}],"id":[{"id":"10.13039\/501100020950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786917","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"797-807","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Agentic Taxation Optimization via LLM SMT-Constraint Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-3693-2709","authenticated-orcid":false,"given":"Ting-Chien","family":"Hwang","sequence":"first","affiliation":[{"name":"National Chengchi University, Taipei, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2776-9624","authenticated-orcid":false,"given":"Fang","family":"Yu","sequence":"additional","affiliation":[{"name":"National Chengchi University, Taipei, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2279-4732","authenticated-orcid":false,"given":"Jie-Hong Roland","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Joshua Aslett. 2024. Understanding Artificial Intelligence in Tax and Customs Administration. Technical Notes and Manuals 2024 006 (11 2024) 1. 10.5089\/9798400290435.005","DOI":"10.5089\/9798400290435.005"},{"key":"e_1_3_3_1_3_2","unstructured":"Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry Quoc Le and Charles Sutton. 2021. Program Synthesis with Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2108.07732\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2108.07732"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"e_1_3_3_1_7_2","unstructured":"Minyu Chen Guoqiang Li Ling-I Wu Ruibang Liu Yuxin Su Xi Chang and Jianxin Xue. 2024. Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. arxiv:https:\/\/arXiv.org\/abs\/2403.16097\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2403.16097"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Chenlong Deng Kelong Mao Yuyao Zhang and Zhicheng Dou. 2024. Enabling Discriminative Reasoning in LLMs for Legal Judgment Prediction. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2407.01964 (2024).","DOI":"10.18653\/v1\/2024.findings-emnlp.43"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-acl.625"},{"key":"e_1_3_3_1_12_2","unstructured":"Ramtin Ehsani Esteban Parra Sonia Haiduc and Preetha Chatterjee. 2025. Hierarchical Knowledge Injection for Improving LLM-based Program Repair. arxiv:https:\/\/arXiv.org\/abs\/2506.24015\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2506.24015"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.52202\/075280-1915"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"\u0141ukasz G\u00f3rski Blazej Kuzniacki Marco Almada Kamil Tyli\u0144ski Madalena Calvo Pablo Asnaghi Luciano Almada Hilario I\u00f1iguez Fernando Rubianes Octavio Pera and Juan Nigrelli. 2024. Exploring explainable AI in the tax domain. Artificial Intelligence and Law (05 2024) 1\u201329. 10.1007\/s10506-024-09395-w","DOI":"10.1007\/s10506-024-09395-w"},{"key":"e_1_3_3_1_15_2","unstructured":"Yilun Hao Yongchao Chen Yang Zhang and Chuchu Fan. 2025. Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools. arxiv:https:\/\/arXiv.org\/abs\/2404.11891\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2404.11891"},{"key":"e_1_3_3_1_16_2","unstructured":"Jinqi Lai Wensheng Gan Jiayang Wu Zhenlian Qi and Philip\u00a0S. Yu. 2023. Large Language Models in Law: A Survey. arxiv:https:\/\/arXiv.org\/abs\/2312.03718\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2312.03718"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535857"},{"key":"e_1_3_3_1_18_2","unstructured":"Xun Liang Hanyu Wang Yezhaohui Wang Shichao Song Jiawei Yang Simin Niu Jie Hu Dan Liu Shunyu Yao Feiyu Xiong and Zhiyu Li. 2024. Controllable Text Generation for Large Language Models: A Survey. arxiv:https:\/\/arXiv.org\/abs\/2408.12599\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2408.12599"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Antoine Louis Gijs van Dijck and Gerasimos Spanakis. 2024. Interpretable Long-Form Legal Question Answering with Retrieval-Augmented Large Language Models. Proceedings of the AAAI Conference on Artificial Intelligence 38 20 (Mar 2024) 22266\u201322275. 10.1609\/aaai.v38i20.30232","DOI":"10.1609\/aaai.v38i20.30232"},{"key":"e_1_3_3_1_20_2","unstructured":"Nina Panickssery Nick Gabrieli Julian Schulz Meg Tong Evan Hubinger and Alexander\u00a0Matt Turner. 2024. Steering Llama 2 via Contrastive Activation Addition. arxiv:https:\/\/arXiv.org\/abs\/2312.06681\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2312.06681"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_27"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.63317\/2o8fx6ry33vg"},{"key":"e_1_3_3_1_23_2","unstructured":"Nestan Tsiskaridze Clark Barrett and Cesare Tinelli. 2024. Generalized Optimization Modulo Theories. arxiv:https:\/\/arXiv.org\/abs\/2404.16122\u00a0[cs.LO] https:\/\/arxiv.org\/abs\/2404.16122"},{"key":"e_1_3_3_1_24_2","unstructured":"Jian Wang Xiaofei Xie Qiang Hu Shangqing Liu Jiongchi Yu Jiaolong Kong and Yi Li. 2025. Defects4C: Benchmarking Large Language Model Repair Capability with C\/C++ Bugs. arxiv:https:\/\/arXiv.org\/abs\/2510.11059\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2510.11059"},{"key":"e_1_3_3_1_25_2","unstructured":"Wenhan Wang Kaibo Liu An\u00a0Ran Chen Ge Li Zhi Jin Gang Huang and Lei Ma. 2024. Python Symbolic Execution with LLM-powered Code Generation. arxiv:https:\/\/arXiv.org\/abs\/2409.09271\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2409.09271"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Xuran Wang Xinguang Zhang Vanessa Hoo Zhouhang Shao and Xuguang Zhang. 2024. LegalReasoner: A Multi-Stage Framework for Legal Judgment Prediction via Large Language Models and Knowledge Integration. IEEE Access 12 (2024) 166843\u2013166854. 10.1109\/ACCESS.2024.3496666","DOI":"10.1109\/ACCESS.2024.3496666"},{"key":"e_1_3_3_1_27_2","unstructured":"Chunqiu\u00a0Steven Xia Yinlin Deng Soren Dunn and Lingming Zhang. 2024. Agentless: Demystifying LLM-based Software Engineering Agents. arxiv:https:\/\/arXiv.org\/abs\/2407.01489\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2407.01489"},{"key":"e_1_3_3_1_28_2","unstructured":"Aidan Z.\u00a0H. Yang Haoye Tian He Ye Ruben Martins and Claire\u00a0Le Goues. 2024. Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2406.05892\u00a0[cs.CR] https:\/\/arxiv.org\/abs\/2406.05892"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"Boyang Yang Haoye Tian Jiadong Ren Hongyu Zhang Jacques Klein Tegawende Bissyande Claire Le\u00a0Goues and Shunfu Jin. 2025. MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-Tuning. ACM Transactions on Software Engineering and Methodology (May 2025). 10.1145\/3735129","DOI":"10.1145\/3735129"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.858"},{"key":"e_1_3_3_1_31_2","unstructured":"Weichen Yu Ravi Mangal Terry Zhuo Matt Fredrikson and Corina\u00a0S. Pasareanu. 2025. A Mixture of Linear Corrections Generates Secure Code. arxiv:https:\/\/arXiv.org\/abs\/2507.09508\u00a0[cs.CR] https:\/\/arxiv.org\/abs\/2507.09508"},{"key":"e_1_3_3_1_32_2","unstructured":"Weikang Yuan Junjie Cao Zhuoren Jiang Yangyang Kang Jun Lin Kaisong Song tianqianjin lin Pengwei Yan Changlong Sun and Xiaozhong Liu. 2024. Can Large Language Models Grasp Legal Theories? Enhance Legal Reasoning with Insights from Multi-Agent Collaboration. arxiv:https:\/\/arXiv.org\/abs\/2410.02507\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2410.02507"},{"key":"e_1_3_3_1_33_2","unstructured":"Kepu Zhang Weijie Yu Zhongxiang Sun and Jun Xu. 2025. An Explicit Syllogistic Legal Reasoning Framework for Large Language Models. arxiv:https:\/\/arXiv.org\/abs\/2504.04042\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2504.04042"},{"key":"e_1_3_3_1_34_2","unstructured":"Andy Zou Long Phan Sarah Chen James Campbell Phillip Guo Richard Ren Alexander Pan Xuwang Yin Mantas Mazeika Ann-Kathrin Dombrowski Shashwat Goel Nathaniel Li Michael\u00a0J. Byun Zifan Wang Alex Mallen Steven Basart Sanmi Koyejo Dawn Song Matt Fredrikson J.\u00a0Zico Kolter and Dan Hendrycks. 2025. Representation Engineering: A Top-Down Approach to AI Transparency. arxiv:https:\/\/arXiv.org\/abs\/2310.01405\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/2310.01405"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:17:21Z","timestamp":1783761441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":33,"alternative-id":["10.1145\/3786583.3786917","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786917","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}