📖 NLP 理解

🤖 AAAI2026 · 1 篇论文解读

📌 同领域跨会议浏览： 🧪 ICML2026 (2) · 💬 ACL2026 (33) · 🔬 ICLR2026 (1) · 🧠 NeurIPS2025 (3) · 📹 ICCV2025 (1) · 🧪 ICML2025 (1)

Language Models and Logic Programs for Trustworthy Tax Reasoning

将税法推理重新定义为语义解析任务，让LLM将法规文本和纳税案例翻译为Prolog逻辑程序，由符号求解器执行计算，通过金标准法规+智能检索案例示例+自一致性检查，在SARA数据集上实现86/100的正确率，并将预计部署成本降至15.78美元/人（低于美国人均报税成本的6%）。