qain1104/Agentic-Taxation-Optimization-via-LLM-SMT-Constraint-Reasoning: artifact-icse26-v1.0

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Ting-Chien Hwang
DOI: 10.5281/zenodo.18182269
Cited by: 0

Abstract

Initial artifact release for ICSE 2026 Artifact Evaluation. This release corresponds to the artifact abstract submission and will be updated before the artifact submission deadline.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026