Fiscalidad, software verificable y sistemas IA

Carmen Esteban

Asesora fiscal con más de 30 años de experiencia y constructora de plataformas de IA aplicada: fiscalidad, derecho, salud, arquitectura cognitiva, complejidad algebraica y herramientas open source para sistemas verificables.

LinkedIn GitHub iafiscal1212 ORCID Hugging Face
Carmen Esteban

Perfil

Arquitectura desde dominio real.

Construyo sistemas que nacen de problemas operativos concretos: fiscalidad, revisión humana, trazabilidad, evidencia, automatizacion responsable y modelos que deben rendir cuentas. Mi trabajo conecta experiencia profesional, investigación independiente y desarrollo de software público.

Fiscalidad y operación

Mas de tres decadas asesorando empresas y convirtiendo flujos fiscales complejos en sistemas operables.

AEAT VeriFactu revisión humana

IA aplicada

Arquitecturas multiagente, memoria persistente, routing cognitivo, trazabilidad y control de alucinacion.

agentes observabilidad seguridad

Investigacion verificable

Publicaciones, software, datasets y modelos enlazados a repositorios, PyPI, Zenodo, ORCID y Hugging Face.

público DOI model cards

Perfil híbrido: asesoría fiscal de producción, construcción de plataformas IA y publicación de artefactos verificables para que el trabajo pueda ser revisado, instalado, citado o ejecutado.

Plataformas

Aplicaciones y líneas de producto.

Estas plataformas resumen el eje aplicado: sistemas para fiscalidad, derecho, salud, comunidades, operaciones con IA y experimentación científica. Cuando el código no es público, el enlace se limita a referencias públicas o publicaciones.

IAFiscal

plataforma privada fiscal

SaaS fiscal con automatización supervisada, modelos AEAT, gestión documental, revisión humana y trazabilidad para asesorías.

Zenodo

adnIA

legal/fiscal anti-alucinacion

Framework para IA legal y fiscal con recuperacion trazable, evidencia citada y disciplina contra respuestas no verificadas.

DOI

ThrombIA

salud explicable

Sistema clinico de apoyo a decisiones para trombosis, orientado a recomendacion explicable y evidencia trazable.

DOI

KORE

open source middleware IA

Stack cognitivo para LLMs: memoria persistente, cache, routing por complejidad, integracion runtime-agnostica y observabilidad.

GitHub PyPI

AIP / Selector Complexity

open source proof complexity

Herramientas para sistemas sparse ultra-grandes, pruebas algebraicas, enrutamiento cognitivo y clasificacion de dificultad.

aip-engine sc-router

TORC

software SAT

Línea de investigación y software para razonamiento topológico, SAT, carteras y restricciones formales con certificación.

torc-sat torc-portfolio

EndoLens

sistemas autonomos Hebbian

Investigación en ecosistemas artificiales, dinámicas endógenas, aprendizaje Hebbiano y organización interna no dirigida.

DOI

ORIGINMAP

público Kaggle

Laboratorio computacional de análisis de meteoritos y modelos nulos: demostración de cómo la estructura aparente puede desaparecer.

GitHub Kaggle

Open Source

Paquetes publicados en PyPI.

Paquetes instalables publicamente y enlazados a repositorios o paginas oficiales cuando estan disponibles. Versiones revisadas el 30 de julio de 2026.

aip-engine

v0.5.1

Algebraic Independence Processor para estructura matricial y computación sparse ultra-grande.

sc-router

v0.4.1

Routing de consultas IA basado en Selector Complexity y niveles de dificultad SC.

aip-proxy

v0.1.1

Proxy de compresión de tokens para reducir coste y ruido operativo en APIs LLM.

llm-ekg

v1.1.1

Monitor matemático de salud para LLMs: degradación, drift y señales de alucinación.

kore-engine

v0.2.1

Motor de conocimiento inteligente con cache, comprension y decision en un paquete.

kore-mind

v0.5.1

Memoria persistente e identidad emergente para sistemas LLM.

kore-bridge

v0.3.3

Capa de integracion LLM para kore-mind, agnostica al runtime.

kore-stack

v0.1.3

Stack cognitivo completo: memoria, routing, cache y observabilidad.

aegis-security

v1.0.0

Guardian de entorno e integridad para seguridad de supply chain en desarrollo IA.

aip-bench-suite

v0.1.1

Benchmarking para alucinación, eficiencia de inferencia y compresión QA.

torc-portfolio

v0.1.0

Verificador de factibilidad de carteras con LP, MIP, CVaR e IIS.

torc-sat

v0.1.1

Preprocesador SAT topologico con obstrucciones cohomologicas.

Hugging Face

Modelos y datasets públicos.

Artefactos publicados en Hugging Face bajo el usuario Carmenest y la organización diffuse-cpp.

Carmenest/AIMO-AIP-32B

Modelo público

Modelo AIMO/AIP de mayor tamaño publicado para experimentación y trazabilidad del trabajo.

HF

endo-brain-data-v2

Dataset público

Dataset asociado a investigación endógena y arquitectura EndoLens.

Dataset

PHP-Entrelazado-Results

Dataset público

Resultados públicos vinculados a PHP-Entrelazado y complejidad de pruebas algebraicas.

Dataset

Investigacion

Publicaciones y registros citables.

ORCID y Zenodo funcionan como índice científico verificable. La lista prioriza los registros públicos recientes y enlaza cada DOI cuando esta disponible.

ORCID 0009-0009-8062-5492 Zenodo

Contacto

Perfil público para colaboración.

Interesada en proyectos donde la IA deba operar con evidencia, control humano, seguridad, explicabilidad y valor práctico. El trabajo público se puede revisar en repositorios, paquetes, modelos, datasets y DOI.

LinkedIn carmen-esteban-6a2b483ab GitHub iafiscal1212 GitHub carmenest ORCID 0009-0009-8062-5492 Hugging Face Carmenest Hugging Face diffuse-cpp PyPI paquetes públicos Zenodo registros citables