Este artículo propone un sistema para automatizar el proceso de declaración de impuestos, que requiere razonamiento complejo y cálculos numéricos. Basándonos en que, según el Servicio de Impuestos Internos (IRS), el estadounidense promedio gasta $270 y 13 horas en la declaración de impuestos, este artículo propone un sistema para automatizar dicho proceso. Dado que los modelos de lenguaje a gran escala (LLM) existentes presentan limitaciones en cuanto a precisión y auditabilidad, este artículo presenta un enfoque que integra los LLM con solucionadores simbólicos. Utilizando el conjunto de datos SARA, evaluamos diversas variantes del sistema y proponemos un nuevo método para estimar los costos de implementación del sistema con base en las penalizaciones por errores tributarios reales. Además, demostramos cómo mejorar el rendimiento y reducir los costos transformando reglas de texto simple en programas lógicos formales y buscando ejemplos de forma inteligente para formalizar las representaciones de casos. Finalmente, demostramos el potencial y la viabilidad económica de aprovechar una arquitectura simbólica neuronal para aumentar el acceso equitativo a una asistencia tributaria confiable.