An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep SoftwareSina KhiabaniAshutosh Trivediet al.2026ICSE 2026Conference paper