Carmen Esteban

I research hard problems and build what I discover. Proof complexity, artificial life, diffusion inference. Every paper becomes code. Every theorem becomes a system.

16publications
9patents (OEPM)
8production platforms
11open source packages
GitHub HuggingFace Zenodo ORCID Contact

Projects

diffuse-cpp

diffuse-cpp

CPU inference engine for Diffusion LLMs

3.3x faster than llama.cpp. Supports LLaDA-8B and Dream-7B. Built on GGML.

460+ downloads, 8 stars
C++GGMLApache-2.0
adnIA

adnIA

AI-powered legal intelligence

158,000+ CENDOJ rulings. Legal strategy, document drafting, MASC analysis.

Patent granted by OEPM
PythonFAISSPatent OEPM
IAFiscal

IAFiscal

AI tax compliance for Spanish advisors

50+ AEAT models automated. OCR accounting. VeriFactu compliant.

70+ AI agents, 79 AEAT models
PythonFlaskPostgreSQL
ThrombIA

ThrombIA

Clinical decision support system

15+ validated clinical scores. Evidence-based recommendations. Full audit trail.

MDR Class IIa pending
PythonMDR Class IIaISO 13485
GeoSignal

GeoSignal

Real-time geopolitical intelligence

Multi-source OSINT correlation: FIRMS, AIS, ADS-B, RSS, market data. Predictive alerts.

128 instruments, 9 zones, real-time
PythonFlaskWebSocket
KORE HQ

KORE HQ

Enterprise team management platform

SSO (Google, Azure AD), Git integration, compliance audit, LLM-powered workflows.

100% audit compliance
PythonDockerPostgreSQL
KORE Tools

KORE Tools

AI dev suite for VS Code

Security scanning, complexity analysis, knowledge base, and project memory in one extension.

AEGIS + SC-Router + Kore Engine
TypeScriptVS CodePython
ORIGINMAP

ORIGINMAP

Computational laboratory for meteorite analysis

Demonstrating how apparent structure disappears under proper null models.

Rigorous null-model methodology
PythonData ScienceStatistics

Open Source Packages

PackageDescription
selector-complexity Selector Complexity Framework for IPS. Proves SC(0) ⊊ SC(1) ⊊ SC(2) ⊊ SC(3). PyPI
sc-router AI routing based on Selector Complexity theory. PyPI GitHub
llm-ekg Mathematical health monitor for LLMs — detect degradation without NLP. PyPI GitHub
aegis-security AI Environment Guardian & Integrity Shield — supply chain security with eBPF LSM. PyPI GitHub
kore-engine Intelligent knowledge engine. Cache + comprehension + decision. PyPI GitHub
aip-engine Algebraic Independence Processor — matrix structure auto-detection. PyPI GitHub
kore-mind Persistent memory + emergent identity engine for any LLM. PyPI GitHub
kore-stack Complete cognitive middleware stack for LLMs. PyPI GitHub
kore-bridge LLM integration layer for kore-mind. Runtime-agnostic cognitive bridge. PyPI GitHub
aip-proxy Token compression proxy for LLM APIs. Reduce costs 15-40%. PyPI GitHub
aip-bench-suite Benchmarking suite for LLM hallucination detection and inference efficiency. PyPI GitHub

Publications

Latest Posts

All posts →